Preparing release 7.4.2

rensink · rensink · commit aac2908b29d6 · 2025-04-20T12:11:46.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.4.2, 20 April 2025
+-------------------------------
+- GTS export as control program now treats final result state as final
+
 Release 7.4.1, 18 April 2025
 -------------------------------
 - Resolved gh #849
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 @@
-20250418
+20250420
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.4.1
+7.4.2
