Skip to content

Revert #1043 until I come up with a more principled fix for #1051 #1052

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Sep 15, 2020

Conversation

jyn514
Copy link
Member

@jyn514 jyn514 commented Sep 14, 2020

Docs.rs can't be deployed until this is merged.

r? @pietroalbini

@jyn514 jyn514 added S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed P-high High priority A-backend Area: Webserver backend labels Sep 14, 2020
@jyn514 jyn514 added S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it and removed S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed labels Sep 14, 2020
@jyn514 jyn514 merged commit 8fecbb4 into rust-lang:master Sep 15, 2020
@jyn514 jyn514 deleted the revert-router branch September 15, 2020 14:17
@jyn514 jyn514 removed the S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it label Sep 20, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-backend Area: Webserver backend P-high High priority
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants