Skip to content

Do not build tools if user do not want them#71346

Merged
bors merged 1 commit intorust-lang:masterfrom
mati865:rustbuild-tools
Apr 21, 2020

Commits

Commits on Apr 20, 2020