Skip to content

Add support for rustc's --error-format short#5879

Merged
bors merged 4 commits intorust-lang:masterfrom
dwijnand:short-errors
Aug 12, 2018
Merged

Add support for rustc's --error-format short#5879
bors merged 4 commits intorust-lang:masterfrom
dwijnand:short-errors

Commits

Commits on Aug 10, 2018