commit | 9397454fb5aead107461b089e7cf190bf538d20a | [log] [tgz] |
---|---|---|
author | Wesley Collin Wright <wesley@wesleywright.me> | Wed Feb 05 00:07:20 2025 +0000 |
committer | Wesley Collin Wright <wesley@wesleywright.me> | Wed Feb 05 00:07:20 2025 +0000 |
tree | 0dfbdb9e8b8f8928d30627a84e15136829a45b35 | |
parent | 686b591a69db216f714ad50698db785f4ac63eb0 [diff] |
remove +dev from version ahead of final release
diff --git a/mypy/version.py b/mypy/version.py index 8ad0efd..8e5cf5a 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.15.0+dev" +__version__ = "1.15.0" base_version = __version__ mypy_dir = os.path.abspath(os.path.dirname(os.path.dirname(__file__)))