From 51f14fe968b31be7804d80e23495cb8d793d60be Mon Sep 17 00:00:00 2001
From: Ned Batchelder <ned@nedbatchelder.com>
Date: Sun, 30 Apr 2023 06:39:29 -0400
Subject: docs: prep for 7.2.5

---
 CHANGES.rst         | 10 ++++++----
 coverage/version.py |  4 ++--
 doc/conf.py         |  6 +++---
 3 files changed, 11 insertions(+), 9 deletions(-)

diff --git a/CHANGES.rst b/CHANGES.rst
index 987442e2..b4da5e1b 100644
--- a/CHANGES.rst
+++ b/CHANGES.rst
@@ -17,16 +17,18 @@ 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-5:
+
+Version 7.2.5 — 2023-04-30
+--------------------------
 
 - Fix: ``html_report()`` could fail with an AttributeError on ``isatty`` if run
   in an unusual environment where sys.stdout had been replaced.  This is now
   fixed.
 
 
-.. scriv-start-here
-
 .. _changes_7-2-4:
 
 Version 7.2.4 — 2023-04-28
diff --git a/coverage/version.py b/coverage/version.py
index f4c5c815..516d00c1 100644
--- a/coverage/version.py
+++ b/coverage/version.py
@@ -8,8 +8,8 @@ from __future__ import annotations
 
 # version_info: same semantics as sys.version_info.
 # _dev: the .devN suffix if any.
-version_info = (7, 2, 5, "alpha", 0)
-_dev = 1
+version_info = (7, 2, 5, "final", 0)
+_dev = 0
 
 
 def _make_version(
diff --git a/doc/conf.py b/doc/conf.py
index f0b2d6e4..fbd7e3f3 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -66,11 +66,11 @@ project = 'Coverage.py'
 # @@@ editable
 copyright = "2009–2023, Ned Batchelder" # pylint: disable=redefined-builtin
 # The short X.Y.Z version.
-version = "7.2.4"
+version = "7.2.5"
 # The full version, including alpha/beta/rc tags.
-release = "7.2.4"
+release = "7.2.5"
 # The date of release, in "monthname day, year" format.
-release_date = "April 28, 2023"
+release_date = "April 30, 2023"
 # @@@ end
 
 rst_epilog = """
-- 
cgit v1.2.1