Bump to 7.1.2 final

sphinx-doc · Aug 2, 2023 · 320d0b6 · 320d0b6
1 parent 06c1339
commit 320d0b6
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 19 deletions.
diff --git a/CHANGES b/CHANGES
@@ -1,17 +1,5 @@
-Release 7.1.2 (in development)
-==============================
-
-Dependencies
-------------
-
-Incompatible changes
---------------------
-
-Deprecated
-----------
-
-Features added
---------------
+Release 7.1.2 (released Aug 02, 2023)
+=====================================
 
 Bugs fixed
 ----------
@@ -20,9 +8,6 @@ Bugs fixed
   and do not spuriously report failures to validate anchors.
   Patch by James Addison.
 
-Testing
--------
-
 Release 7.1.1 (released Jul 27, 2023)
 =====================================
 

diff --git a/sphinx/__init__.py b/sphinx/__init__.py
@@ -30,11 +30,11 @@
 #:
 #: .. versionadded:: 1.2
 #:    Before version 1.2, check the string ``sphinx.__version__``.
-version_info = (7, 1, 2, 'beta', 0)
+version_info = (7, 1, 2, 'final', 0)
 
 package_dir = path.abspath(path.dirname(__file__))
 
-_in_development = True
+_in_development = False
 if _in_development:
     # Only import subprocess if needed
     import subprocess