From ada007841f6a96f68d114769624a0f7b523814a7 Mon Sep 17 00:00:00 2001 From: Jared Hance Date: Tue, 13 Sep 2022 09:21:22 -0700 Subject: [PATCH] Remove dev from version --- mypy/version.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mypy/version.py b/mypy/version.py index e0dc42b478f8..1b857656dd75 100644 --- a/mypy/version.py +++ b/mypy/version.py @@ -8,7 +8,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.980+dev" +__version__ = "0.980" base_version = __version__ mypy_dir = os.path.abspath(os.path.dirname(os.path.dirname(__file__)))