Report number of delayed bugs properly with -Ztreat-err-as-bug
#101471
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 6, 2022
Merged
Report number of delayed bugs properly with `-Ztreat-err-as-bug`#101471bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom