Move error code explanation removal check into tidy#142827
Merged
bors merged 2 commits intorust-lang:masterfrom Jun 24, 2025
Merged
Move error code explanation removal check into tidy#142827bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom