commit | 6b3c41838d8e7a39242b6fd035535e2d76eabfc6 | [log] [tgz] |
---|---|---|
author | Jukka Lehtosalo <jukka.lehtosalo@iki.fi> | Thu Nov 23 15:47:17 2023 +0000 |
committer | Jukka Lehtosalo <jukka.lehtosalo@iki.fi> | Thu Nov 23 15:47:17 2023 +0000 |
tree | 64b5af0779baf98fc96116c825c0e206fafcb9f6 | |
parent | c10e17348f2eacbbeae80eb6c10c661c0137d849 [diff] |
Update version to 1.7.1 (without +dev)
diff --git a/mypy/version.py b/mypy/version.py index 9272787..eb666d6 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.1+dev" +__version__ = "1.7.1" base_version = __version__ mypy_dir = os.path.abspath(os.path.dirname(os.path.dirname(__file__)))