Skip to content

tidy: check that error messages don't start with a capitalized letter#146171

Merged
bors merged 1 commit intorust-lang:masterfrom
scrabsha:push-wovnxxwltsun
Sep 14, 2025
Merged

tidy: check that error messages don't start with a capitalized letter#146171
bors merged 1 commit intorust-lang:masterfrom
scrabsha:push-wovnxxwltsun

Commits

Commits on Sep 10, 2025