Do not bold main message in `--error-format=short`#116962

Merged

bors merged 1 commit intorust-lang:masterfrom estebank:issue-63835

Oct 20, 2023

+8-1

Commits on Oct 19, 2023

Do not bold main message in --error-format=short
estebank
committed