rope_autoimport: continue on name-defined diagnostics provided by mypy#676
Open
LarsMichelsen wants to merge 1 commit into
Open
rope_autoimport: continue on name-defined diagnostics provided by mypy#676LarsMichelsen wants to merge 1 commit into
LarsMichelsen wants to merge 1 commit into