Skip to content

Forward rust version number to tools#56134

Merged
bors merged 1 commit intorust-lang:masterfrom
oli-obk:clippy_documentation
Nov 21, 2018
Merged

Forward rust version number to tools#56134
bors merged 1 commit intorust-lang:masterfrom
oli-obk:clippy_documentation

Commits

Commits on Nov 21, 2018