Skip to content

rustdoc: Remove namespace for keywords - #54097

Merged
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:remove-keyword-namespace
Sep 18, 2018
Merged

rustdoc: Remove namespace for keywords#54097
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:remove-keyword-namespace

Conversation

@GuillaumeGomez

Copy link
Copy Markdown
Member

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

Copy link
Copy Markdown
Contributor

@GuillaumeGomezGuillaumeGomez changed the title Remove namespace for keywordsrustdoc: Remove namespace for keywordsSep 10, 2018
@QuietMisdreavus

Copy link
Copy Markdown
Contributor

So sorry for missing this one!

@bors r+ rollup

@bors

bors commented Sep 17, 2018

Copy link
Copy Markdown
Collaborator

📌 Commit 1a0e8f9 has been approved by QuietMisdreavus

@borsbors 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
Fixesrust-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:masterSep 18, 2018
@GuillaumeGomez
GuillaumeGomez deleted the remove-keyword-namespace branch September 18, 2018 13:05
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-borsStatus: 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

@GuillaumeGomez@petrochenkov@QuietMisdreavus@bors@rust-highfive