Skip to content

Give a better error when x dist fails for an optional tool#99139

Merged
bors merged 1 commit intorust-lang:masterfrom jyn514:dist-tool-helpJul 14, 2022
+5-1

Commits

Commits on Jul 11, 2022