commit | 6f37859612cd8670724c2ee2df21aa691276a9dc | [log] [tgz] |
---|---|---|
author | Valentin Stanciu <250871+svalentin@users.noreply.github.com> | Thu Dec 19 16:29:41 2024 +0000 |
committer | Valentin Stanciu <250871+svalentin@users.noreply.github.com> | Thu Dec 19 16:29:41 2024 +0000 |
tree | de52f51a57da575c72895bf349ab7546708cbab3 | |
parent | 5a6a7548a9ae25c79690108b1dc1aaec559a18de [diff] |
Remove +dev from version for release 1.14
diff --git a/mypy/version.py b/mypy/version.py index 4510cc5..eca889c 100644 --- a/mypy/version.py +++ b/mypy/version.py
@@ -8,7 +8,7 @@ # - Release versions have the form "1.2.3". # - Dev versions have the form "1.2.3+dev" (PLUS sign to conform to PEP 440). # - Before 1.0 we had the form "0.NNN". -__version__ = "1.14.0+dev" +__version__ = "1.14.0" base_version = __version__ mypy_dir = os.path.abspath(os.path.dirname(os.path.dirname(__file__)))