diff --git a/CHANGES b/CHANGES index 9d24cc1d0..2a6ae84fc 100644 --- a/CHANGES +++ b/CHANGES @@ -1,5 +1,5 @@ -Release 7.2.4 (in development) -============================== +Release 7.2.4 (released Aug 28, 2023) +===================================== Bugs fixed ---------- diff --git a/sphinx/__init__.py b/sphinx/__init__.py index 627dc9f47..8293e419b 100644 --- a/sphinx/__init__.py +++ b/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, 4, 'beta', 0) +version_info = (7, 2, 4, '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