Closed pyup-bot closed 3 years ago
This PR updates mypy from 0.800 to 0.812.
The bot wasn't able to find a changelog for this release. Got an idea?
bors r+
Build succeeded:
This PR updates mypy from 0.800 to 0.812.
The bot wasn't able to find a changelog for this release. Got an idea?
Links
- PyPI: https://pypi.org/project/mypy - Homepage: http://www.mypy-lang.org/