Skip to content

Fix rustdoc --version when used with download-rustc#104184

Merged
bors merged 1 commit intorust-lang:masterfrom
jyn514:rustdoc-version
Nov 10, 2022

Commits

Commits on Nov 9, 2022