Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Bumps [mypy](https://github.com/python/mypy) from 0.790 to 0.800. - [Release notes](https://github.com/python/mypy/releases) - [Commits](python/mypy@v0.790...v0.800) Signed-off-by: dependabot-preview[bot] <[email protected]>
- Loading branch information