commit | 3b467509ee29b8f274c035d78a1c241a781eb311 | [log] [tgz] |
---|---|---|
author | Wesley Collin Wright <wesleyw@dropbox.com> | Thu Dec 21 01:00:58 2023 +0000 |
committer | Wesley Collin Wright <wesleyw@dropbox.com> | Thu Dec 21 01:00:58 2023 +0000 |
tree | 59faad9b92da80ff63d6bc210bfbd6275b909280 | |
parent | c9bc833bc8a64e3517a6843bbf982a37ee54f893 [diff] |
remove +dev suffix from version
diff --git a/mypy/version.py b/mypy/version.py index 2c2c2b0..900fee2 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.8.0+dev" +__version__ = "1.8.0" base_version = __version__ mypy_dir = os.path.abspath(os.path.dirname(os.path.dirname(__file__)))