Skip to content

Fix crate-name option in rustdoc#51256

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:fix-rustdoc-crate-name
Jun 5, 2018

Commits

Commits on Jun 4, 2018