From f361669954a8ecfc00a3443f35f9ac8e610ffc06 Mon Sep 17 00:00:00 2001
From: David Tolnay <dtolnay@gmail.com>
Date: Thu, 3 Aug 2023 16:14:37 -0700
Subject: [PATCH] Add 1.71.1 patch release

https://blog.rust-lang.org/2023/08/03/Rust-1.71.1.html
---
 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 843caa5..897e051 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.62.1 1.66.1 1.67.1 1.68.1 1.68.2 1.71.1
 )
 
 releases() {