From ba0e942c61827bcb5df4c4743601920a6aa60f20 Mon Sep 17 00:00:00 2001 From: rensink Date: Fri, 2 Aug 2024 14:14:05 +0200 Subject: [PATCH] Preparing release 6.9.3 --- release/include/CHANGES.md | 5 +++++ .../nl/utwente/groove/resource/version/GROOVE_BUILD | 2 +- .../nl/utwente/groove/resource/version/GROOVE_VERSION | 2 +- 3 files changed, 7 insertions(+), 2 deletions(-) diff --git a/release/include/CHANGES.md b/release/include/CHANGES.md index a87b51a55..c1c4c9c00 100644 --- 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 index 636e169b3..8ec5be7b6 100644 --- 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 \ No newline at end of file +20240802 \ No newline at end of file diff --git a/src/main/resources/nl/utwente/groove/resource/version/GROOVE_VERSION b/src/main/resources/nl/utwente/groove/resource/version/GROOVE_VERSION index 2327351c8..6020dfc23 100644 --- 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 \ No newline at end of file +6.9.3 \ No newline at end of file