From edcb8947765bbdcc6d6f53205ebd43bc1d9c084c Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulip.com>
Date: Thu, 4 Mar 2021 14:16:37 -0800
Subject: [PATCH] requirements: Upgrade mypy from 0.790 to 0.812.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
---
 requirements.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/requirements.txt b/requirements.txt
index 8ff55d0..7d0095a 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -8,5 +8,5 @@ pytest
 -e ./zulip_bots
 -e ./zulip_botserver
 -e git+https://github.com/zulip/zulint@14e3974001bf8442a6a3486125865660f1f2eb68#egg=zulint==1.0.0
-mypy==0.790
+mypy==0.812
 gitlint>=0.13.0