From d089891198ef470c8bec9bd7d7b50a02757c5b68 Mon Sep 17 00:00:00 2001
From: Jukka Lehtosalo <jukka.lehtosalo@iki.fi>
Date: Fri, 19 Feb 2021 16:17:29 +0000
Subject: [PATCH] Bump version to 0.812

---
 mypy/version.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mypy/version.py b/mypy/version.py
index 9e40f614408b..2e869f8a511e 100644
--- a/mypy/version.py
+++ b/mypy/version.py
@@ -5,7 +5,7 @@
 # - Release versions have the form "0.NNN".
 # - Dev versions have the form "0.NNN+dev" (PLUS sign to conform to PEP 440).
 # - For 1.0 we'll switch back to 1.2.3 form.
-__version__ = '0.810+dev'
+__version__ = '0.812'
 base_version = __version__
 
 mypy_dir = os.path.abspath(os.path.dirname(os.path.dirname(__file__)))