Skip to content

Fixes error count display is different when there's only one error left#118138

Merged
bors merged 7 commits intorust-lang:masterfrom Noratrieb:one-previous-errorNov 24, 2023

Commits

Commits on Nov 24, 2023