Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request secure-systems-lab#621 from secure-systems-lab/dep…
…endabot/pip/mypy-1.5.1 build(deps): bump mypy from 1.4.1 to 1.5.1
- Loading branch information