Skip to content
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

rustdoc: Remove namespace for keywords #54097

Merged
merged 1 commit into from
Sep 18, 2018

Conversation

GuillaumeGomez
Copy link
Member

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Sep 10, 2018
@petrochenkov
Copy link
Contributor

@GuillaumeGomez GuillaumeGomez changed the title Remove namespace for keywords rustdoc: Remove namespace for keywords Sep 10, 2018
@QuietMisdreavus
Copy link
Member

So sorry for missing this one!

@bors r+ rollup

@bors
Copy link
Contributor

bors commented Sep 17, 2018

📌 Commit 1a0e8f9 has been approved by QuietMisdreavus

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Sep 17, 2018
GuillaumeGomez added a commit to GuillaumeGomez/rust that referenced this pull request Sep 18, 2018
…pace, r=QuietMisdreavus

rustdoc: Remove namespace for keywords

Fixes rust-lang#54084.

r? @QuietMisdreavus
bors added a commit that referenced this pull request Sep 18, 2018
Rollup of 9 pull requests

Successful merges:

 - #53522 (Add doc for impl From for Addr)
 - #54097 (rustdoc: Remove namespace for keywords)
 - #54205 (Add treat-err-as-bug flag in rustdoc)
 - #54225 (Regression test for #53675.)
 - #54232 (add `-Z dont-buffer-diagnostics`)
 - #54273 (Suggest to change numeric literal instead of casting)
 - #54299 (Issue 54246)
 - #54311 (Remove README with now-out-of-date docs about docs.)
 - #54313 (OsStr: Document that it's not NUL terminated)

Failed merges:

r? @ghost
@bors bors merged commit 1a0e8f9 into rust-lang:master Sep 18, 2018
@GuillaumeGomez GuillaumeGomez deleted the remove-keyword-namespace branch September 18, 2018 13:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants