commit | f6b9972329d5d68f6defc92a10cc4c3bc339c27b | [log] [tgz] |
---|---|---|
author | Jukka Lehtosalo <jukka.lehtosalo@iki.fi> | Fri Nov 10 12:01:51 2023 +0000 |
committer | Jukka Lehtosalo <jukka.lehtosalo@iki.fi> | Fri Nov 10 12:01:51 2023 +0000 |
tree | d1defb103a56e1bebad559094b7df091cc614726 | |
parent | 62bcae2d9bad12c5d3b5dda23dc031e1c7ddf136 [diff] |
Remove +dev from version
diff --git a/mypy/version.py b/mypy/version.py index 7cfc68d..c75c9e6 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.7.0+dev" +__version__ = "1.7.0" base_version = __version__ mypy_dir = os.path.abspath(os.path.dirname(os.path.dirname(__file__)))