From 320d0b631cc7d9617f5167cc61c9284674f5b2df Mon Sep 17 00:00:00 2001
From: Adam Turner <9087854+aa-turner@users.noreply.github.com>
Date: Wed, 2 Aug 2023 02:56:30 +0100
Subject: [PATCH] Bump to 7.1.2 final

---
 CHANGES            | 19 ++-----------------
 sphinx/__init__.py |  4 ++--
 2 files changed, 4 insertions(+), 19 deletions(-)

diff --git a/CHANGES b/CHANGES
index f31778def70..412580f9a79 100644
--- 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
index 48f64eb9ba8..18db924ccb3 100644
--- 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