version number, 2.12.3

Author: wadoon

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"