Skip to content

Improve the usage message for -Z dump-mir.#56597

Merged
bors merged 1 commit intorust-lang:masterfrom
vext01:dump-mir-usage
Dec 8, 2018

Commits

Commits on Dec 7, 2018