Update mypy from 0.711 to 0.720

Release notes: http://mypy-lang.blogspot.com/2019/07/mypy-0720-released.html
2019-07-14 18:14:34 +03:00 · 2019-07-14 18:14:34 +03:00 · 104f8fc836
parent fd8f92d0e7
commit 104f8fc836
1 changed files with 1 additions and 1 deletions
--- a/.pre-commit-config.yaml
+++ b/.pre-commit-config.yaml
@ -44,7 +44,7 @@ repos:
    hooks:
    -   id: rst-backticks
 -   repo: https://github.com/pre-commit/mirrors-mypy
-    rev: v0.711
+    rev: v0.720
    hooks:
    -   id: mypy
        files: ^(src/|testing/)