Closed
Description
mypy 0.800 came out 3 days ago https://mypy-lang.blogspot.com/2021/01/mypy-0800-released.html , so it would be good to try upgrading
{{ message }}
No one assigned
No type
No projects
None yet
No branches or pull requests