Clean emitted diagnostics when reset_err_count is called.#47231
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 9, 2018
ereslibre:clean-emitted-diagnostics
Merged
Clean emitted diagnostics when `reset_err_count` is called.#47231bors merged 1 commit intorust-lang:masterfrom ereslibre:clean-emitted-diagnostics
bors merged 1 commit intorust-lang:masterfrom
ereslibre:clean-emitted-diagnostics
