Skip to content

rustdoc: Remove namespace for keywords#54097

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

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

Commits

Commits on Sep 10, 2018