docs: prep for 7.2.4

Author: nedbat

CHANGES.rst

@@ -17,8 +17,14 @@ development at the same time, such as 4.5.x and 5.0.
     ..  Version 9.8.1 — 2027-07-27
     ..  --------------------------
 
-Unreleased
-----------
+.. scriv-start-here
+
+.. _changes_7-2-4:
+
+Version 7.2.4 — 2023-04-28
+--------------------------
+
+PyCon 2023 sprint fixes!
 
 - Fix: with ``relative_files = true``, specifying a specific file to include or
   omit wouldn't work correctly (`issue 1604`_).  This is now fixed, with
@@ -45,7 +51,6 @@ Unreleased
 .. _pull 1610: https://github.com/nedbat/coveragepy/pull/1610
 .. _pull 1613: https://github.com/nedbat/coveragepy/pull/1613
 
-.. scriv-start-here
 
 .. _changes_7-2-3:
 

coverage/version.py

@@ -8,8 +8,8 @@
 
 # version_info: same semantics as sys.version_info.
 # _dev: the .devN suffix if any.
-version_info = (7, 2, 4, "alpha", 0)
-_dev = 1
+version_info = (7, 2, 4, "final", 0)
+_dev = 0
 
 
 def _make_version(

doc/conf.py

@@ -66,11 +66,11 @@
 # @@@ editable
 copyright = "2009–2023, Ned Batchelder" # pylint: disable=redefined-builtin
 # The short X.Y.Z version.
-version = "7.2.3"
+version = "7.2.4"
 # The full version, including alpha/beta/rc tags.
-release = "7.2.3"
+release = "7.2.4"
 # The date of release, in "monthname day, year" format.
-release_date = "April 6, 2023"
+release_date = "April 28, 2023"
 # @@@ end
 
 rst_epilog = """

tox.ini

@@ -66,7 +66,7 @@ commands =
     - sphinx-build -b html -b linkcheck -aEnQW doc doc/_build/html
 
 [testenv:lint]
-# PYVERSIONS
+# Minimum of PYVERSIONS
 basepython = python3.7
 deps =
     -r requirements/lint.pip