Skip to content

Only bump error count when we are sure that the diagnostic is not a repetition#47146

Merged
bors merged 1 commit intorust-lang:masterfrom
ereslibre:issue-42106
Jan 3, 2018

Commits

Commits on Jan 2, 2018