Stop updating the lint counter with every new lint#5398
Merged
bors merged 5 commits intorust-lang:masterfrom Mar 31, 2020
Merged
Stop updating the lint counter with every new lint#5398bors merged 5 commits intorust-lang:masterfrom
bors merged 5 commits intorust-lang:masterfrom