From edb9fb2ed242b639ea05658f60a820bedf602635 Mon Sep 17 00:00:00 2001
From: Richard Bubel <bubel@cs.tu-darmstadt.de>
Date: Fri, 10 Nov 2023 19:04:46 +0100
Subject: [PATCH] change version number in gradle build script

---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 1b2af0c8da4..fbe7253188d 100644
--- a/build.gradle
+++ b/build.gradle
@@ -40,7 +40,7 @@ static def getDate() {
 def build = System.env.BUILD_NUMBER == null ? "" : "-${System.env.BUILD_NUMBER}"
 
 group = "org.key-project"
-version = "2.12.1$build"
+version = "2.12.2$build"
 
 subprojects {
     apply plugin: "java"