Preparing release 7.3.1

rensink · rensink · commit 515d0273f6a0 · 2025-04-04T10:33:19.000+02:00
diff --git a/release/include/CHANGES.md b/release/include/CHANGES.md
@@ -3,6 +3,10 @@ GROOVE Change Log
 
 This document describes the major changes in the GROOVE tool set
 
+Release 7.3.1, 4 April 2025
+-------------------------------
+- Resolved gh #837, #838, #839, #840, #841, #842
+
 Release 7.3.0, 3 April 2025
 -------------------------------
 - Added conditional exploration strategy for stopping after, rather than at, 
diff --git a/src/main/resources/nl/utwente/groove/resource/version/GROOVE_BUILD b/src/main/resources/nl/utwente/groove/resource/version/GROOVE_BUILD
@@ -1 +1 @@
-20250403
+20250404
diff --git a/src/main/resources/nl/utwente/groove/resource/version/GROOVE_VERSION b/src/main/resources/nl/utwente/groove/resource/version/GROOVE_VERSION
@@ -1 +1 @@
-7.3.1-SNAPSHOT
+7.3.1
