From 17adc1824fc046cb168c3a56e0048a02b1f17ed8 Mon Sep 17 00:00:00 2001
From: GitHub Actions <actions@github.com>
Date: Thu, 8 Oct 2026 21:49:32 +0000
Subject: [PATCH 1/3] Stamp behavior changes for v7.1.02

---
 src/site/markdown/behavior-changes.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/site/markdown/behavior-changes.md b/src/site/markdown/behavior-changes.md
index 37e99f7d..f9e84a74 100644
--- a/src/site/markdown/behavior-changes.md
+++ b/src/site/markdown/behavior-changes.md
@@ -20,6 +20,10 @@ released version automatically via .github/scripts/stamp-behavior-changes.sh.
 
 ## Unreleased
 
+_No user-visible behavior changes recorded yet._
+
+## [v7.1.02](https://github.com/jawkio/jawk/releases/tag/v7.1.02) (2026-10-08)
+
 - Backslashes in the replacement text of `sub()` and `gsub()` now follow gawk's documented rules
   instead of the POSIX ones: `\\` (the string written `"\\\\"` in the source) now produces `\\`
   where it previously produced `\`, `\\\&` produces `\&`, and `\\\\` produces `\\`. `\&` and `\\&`

From 6999983cd1b9fcd0cd12b87ac0d2a498c16f4ae6 Mon Sep 17 00:00:00 2001
From: GitHub Actions <actions@github.com>
Date: Thu, 8 Oct 2026 21:51:27 +0000
Subject: [PATCH 2/3] [maven-release-plugin] prepare release v7.1.02

---
 pom.xml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pom.xml b/pom.xml
index a6f1ecb5..ecb7f61a 100644
--- a/pom.xml
+++ b/pom.xml
@@ -3,7 +3,7 @@
 
 	<groupId>io.jawk</groupId>
 	<artifactId>jawk</artifactId>
-	<version>7.2.00-SNAPSHOT</version>
+	<version>7.1.02</version>
 
 	<name>Jawk</name>
 	<description>Java AWK interpreter, allowing Java to call and execute AWK scripts in the JVM.</description>
@@ -36,7 +36,7 @@
 	<scm>
 		<connection>scm:git:https://github.com/jawkio/jawk.git</connection>
 		<url>https://github.com/jawkio/jawk</url>
-		<tag>HEAD</tag>
+		<tag>v7.1.02</tag>
 	</scm>
 
 	<developers>
@@ -84,7 +84,7 @@
 
 		<!-- Reproducible Build -->
 		<!-- See https://maven.apache.org/guides/mini/guide-reproducible-builds.html -->
-		<project.build.outputTimestamp>2026-08-25T18:29:51Z</project.build.outputTimestamp>
+		<project.build.outputTimestamp>2026-10-08T21:49:40Z</project.build.outputTimestamp>
 		<jmh.version>1.37</jmh.version>
 
 		<!-- Same version for the verify-phase checks and the site-phase reports,

From b3a133768aef39343ca43acb8cbbd654dea6fd80 Mon Sep 17 00:00:00 2001
From: GitHub Actions <actions@github.com>
Date: Thu, 8 Oct 2026 21:51:29 +0000
Subject: [PATCH 3/3] [maven-release-plugin] prepare for next development
 iteration

---
 pom.xml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pom.xml b/pom.xml
index ecb7f61a..df427827 100644
--- a/pom.xml
+++ b/pom.xml
@@ -3,7 +3,7 @@
 
 	<groupId>io.jawk</groupId>
 	<artifactId>jawk</artifactId>
-	<version>7.1.02</version>
+	<version>7.2.00-SNAPSHOT</version>
 
 	<name>Jawk</name>
 	<description>Java AWK interpreter, allowing Java to call and execute AWK scripts in the JVM.</description>
@@ -36,7 +36,7 @@
 	<scm>
 		<connection>scm:git:https://github.com/jawkio/jawk.git</connection>
 		<url>https://github.com/jawkio/jawk</url>
-		<tag>v7.1.02</tag>
+		<tag>HEAD</tag>
 	</scm>
 
 	<developers>
@@ -84,7 +84,7 @@
 
 		<!-- Reproducible Build -->
 		<!-- See https://maven.apache.org/guides/mini/guide-reproducible-builds.html -->
-		<project.build.outputTimestamp>2026-10-08T21:49:40Z</project.build.outputTimestamp>
+		<project.build.outputTimestamp>2026-10-08T21:51:29Z</project.build.outputTimestamp>
 		<jmh.version>1.37</jmh.version>
 
 		<!-- Same version for the verify-phase checks and the site-phase reports,