Preparing release 6.9.3

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)

src/main/resources/nl/utwente/groove/resource/version/GROOVE_BUILD

-20240801
\ No newline at end of file
+20240802
\ No newline at end of file

src/main/resources/nl/utwente/groove/resource/version/GROOVE_VERSION

-6.9.3-SNAPSHOT
\ No newline at end of file
+6.9.3
\ No newline at end of file