From f58c1e82855f238003b3e80168cd75d786637d5f Mon Sep 17 00:00:00 2001
From: Henrik Levkowetz <henrik@levkowetz.com>
Date: Tue, 1 Oct 2019 22:15:13 +0000
Subject: [PATCH] Fixed an incorrect version number for mypy in
 requirements3.txt  - Legacy-Id: 16807

---
 requirements3.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/requirements3.txt b/requirements3.txt
index bd21b8b43..ecb505f24 100644
--- a/requirements3.txt
+++ b/requirements3.txt
@@ -36,7 +36,7 @@ jwcrypto>=0.4.0			# for signed notifications
 #lxml>=3.4.0                    # from PyQuery; 
 markdown2>=2.3.8
 mock>=2.0.0
-mypy>=0.7.3
+mypy==0.720
 mysqlclient>=1.3.13
 oauth2client>=4.0.0		# required by google-api-python-client, but not always pulled in
 patch>=1.16,<2.0