| commit | ac2d56f9145a4e15e7c0d1fbcd9a466ad0cec9a1 | [log] [tgz] |
|---|---|---|
| author | Jukka Lehtosalo <jukka.lehtosalo@iki.fi> | Tue Oct 10 17:06:00 2023 +0100 |
| committer | Jukka Lehtosalo <jukka.lehtosalo@iki.fi> | Tue Oct 10 17:06:00 2023 +0100 |
| tree | 80fbd8bdd12cb4783ca8bf7c16fcb20d93998d34 | |
| parent | 5b488ab8ad82ce11388a63367a60e1443f359f04 [diff] |
Remove +dev from version
diff --git a/mypy/version.py b/mypy/version.py index 512890c..9271eba 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.6.0+dev" +__version__ = "1.6.0" base_version = __version__ mypy_dir = os.path.abspath(os.path.dirname(os.path.dirname(__file__)))