diff --git a/CHANGES b/CHANGES
index fb7bbc21cc1..5a8e24a6fd1 100644
--- a/CHANGES
+++ b/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)
 =====================================
 
diff --git a/sphinx/__init__.py b/sphinx/__init__.py
index 1b1a41aa683..46b691247b3 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, 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