tidy: fire less "ignoring file length unneccessarily" warnings#94178
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 22, 2022
Merged
tidy: fire less "ignoring file length unneccessarily" warnings#94178bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom