Uh oh!
There was an error while loading. Please reload this page.
Make mypy still check imports with # type: ignore comments if the import exists - #1912
Merged
gvanrossum merged 6 commits intoJul 19, 2016
Merged