Skip to content

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

Merged
bors merged 2 commits intorust-lang:masterfrom adrianEffe:fix/error-countNov 29, 2023

Commits

Commits on Nov 29, 2023