version number, 2.12.3

KeYProject · Sep 8, 2024 · e586672 · e586672
1 parent 144a9ba
commit e586672
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.gradle b/build.gradle
@@ -43,7 +43,7 @@ static def getDate() {
 def build = System.env.BUILD_NUMBER == null ? "" : "-${System.env.BUILD_NUMBER}"
 
 group = "org.key-project"
-version = "2.13.0$build"
+version = "2.12.3$build"
 
 subprojects {
     apply plugin: "java"