Promote 1.0.0+dev to 1.0.0 (python#14594)

In the release branch!
ilinum · Feb 6, 2023 · bc18017 · bc18017
1 parent c2876bf
commit bc18017
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.0.0+dev"
+__version__ = "1.0.0"
 base_version = __version__
 
 mypy_dir = os.path.abspath(os.path.dirname(os.path.dirname(__file__)))