Skip to content

Speed up tidy quite a lot#108772

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

Commits

Commits on Mar 18, 2023