Bump to 7.2.5 final

CHANGES

@@ -1,17 +1,5 @@
-Release 7.2.5 (in development)
-==============================
-
-Dependencies
-------------
-
-Incompatible changes
---------------------
-
-Deprecated
-----------
-
-Features added
---------------
+Release 7.2.5 (released Aug 30, 2023)
+=====================================
 
 Bugs fixed
 ----------
@@ -35,9 +23,6 @@ Bugs fixed
 * #11627: Restore support for copyright lines of the form ``YYYY``
   when ``SOURCE_DATE_EPOCH`` is set.
 
-Testing
--------
-
 Release 7.2.4 (released Aug 28, 2023)
 =====================================
 

sphinx/__init__.py

@@ -30,11 +30,11 @@ __display_version__ = __version__  # used for command line version
 #:
 #: .. versionadded:: 1.2
 #:    Before version 1.2, check the string ``sphinx.__version__``.
-version_info = (7, 2, 5, 'beta', 0)
+version_info = (7, 2, 5, '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