From 439cf607258077187679211f12aa6f19af4a0af7 Mon Sep 17 00:00:00 2001
From: David Tolnay <dtolnay@gmail.com>
Date: Tue, 19 Sep 2023 08:31:34 -0700
Subject: [PATCH] Add 1.72.1 patch release

---
 scripts/update-revs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/update-revs.sh b/scripts/update-revs.sh
index 897e0518..4cd3ae54 100755
--- a/scripts/update-revs.sh
+++ b/scripts/update-revs.sh
@@ -10,7 +10,7 @@ fi
 patch_releases=(
     1.12.1 1.15.1 1.22.1 1.24.1 1.26.1 1.26.2 1.27.1 1.27.2 1.29.1 1.29.2 1.30.1
     1.31.1 1.34.1 1.34.2 1.41.1 1.43.1 1.44.1 1.45.1 1.45.2 1.52.1 1.56.1 1.58.1
-    1.62.1 1.66.1 1.67.1 1.68.1 1.68.2 1.71.1
+    1.62.1 1.66.1 1.67.1 1.68.1 1.68.2 1.71.1 1.72.1
 )
 
 releases() {