Skip to content

Speed up tidy quite a lot#108772

Merged
bors merged 6 commits intorust-lang:masterfrom
jyn514:faster-tidy
Mar 18, 2023
Merged

Speed up tidy quite a lot#108772
bors merged 6 commits intorust-lang:masterfrom
jyn514:faster-tidy

Commits

Commits on Mar 18, 2023