Preparing release 6.9.3

nl-utwente-groove · Aug 2, 2024 · ba0e942 · ba0e942
1 parent a1c0f5e
commit ba0e942
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 2 deletions.
diff --git a/release/include/CHANGES.md b/release/include/CHANGES.md
@@ -3,6 +3,11 @@ GROOVE Change Log
 
 This document describes the major changes in the GROOVE tool set
 
+Release 6.9.3, 2 August 2024
+-------------------------------
+- Repaired parsing of grammar control properties for Generator
+- Repaired rule level tree functionality
+
 Release 6.9.2, 1 August 2024
 -------------------------------
 - Bug fix release (don't use 6.9.1)

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 @@
-20240801
+20240802
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 @@
-6.9.3-SNAPSHOT
+6.9.3