Skip to content

Include lint errors in error count for -Ztreat-err-as-bug#91425

Merged
bors merged 1 commit intorust-lang:masterfrom jyn514:treat-lint-err-as-bugDec 1, 2021

Commits

Commits on Dec 1, 2021