From 104f8fc8364c66425191e3937708153f1ee154aa Mon Sep 17 00:00:00 2001
From: Ran Benita <ran234@gmail.com>
Date: Sun, 14 Jul 2019 18:14:34 +0300
Subject: [PATCH] Update mypy from 0.711 to 0.720

Release notes: http://mypy-lang.blogspot.com/2019/07/mypy-0720-released.html
---
 .pre-commit-config.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
index 2b0d6e49f..59128a4fb 100644
--- 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/)