Skip to content

Bump pre-commit hook for mirrors-mypy from v1.7.0 to v1.7.1#383

Merged
rmartin16 merged 1 commit intomainfrom autoupdates/pre-commit/mirrors-mypyNov 25, 2023

Commits

Commits on Nov 25, 2023