Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Keeps things working when you upgrade mypy versions. The other way of solving this problem is in davidhalter#208
- Loading branch information