commit | 9b891fe5a101ecbb818f3f16641ab909f289ba04 | [log] [tgz] |
---|---|---|
author | hauntsaninja <hauntsaninja@gmail.com> | Tue Oct 17 20:30:44 2023 -0700 |
committer | hauntsaninja <hauntsaninja@gmail.com> | Tue Oct 17 20:30:44 2023 -0700 |
tree | 8423b2c31b827cdb4921c70c1fa6fd977f5edb2f | |
parent | 6b6504eb8a96fa6a9c7b8f034803eb9a0444fe86 [diff] |
Remove +dev from version
diff --git a/mypy/version.py b/mypy/version.py index 1dab542..ff4ff6f 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.1+dev" +__version__ = "1.6.1" base_version = __version__ mypy_dir = os.path.abspath(os.path.dirname(os.path.dirname(__file__)))