Skip to content

Flush error messages incrementally after processing a file#4396

Merged
gvanrossum merged 15 commits into
masterfrom
error_flush
Jan 9, 2018
Merged

Flush error messages incrementally after processing a file#4396
gvanrossum merged 15 commits into
masterfrom
error_flush

update warn_unused_ignores documentation

548078c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs