diff --git a/gradle.properties b/gradle.properties index 11d4e612e71..4a0fe315d53 100644 --- a/gradle.properties +++ b/gradle.properties @@ -1,4 +1,4 @@ # Warning, "version" should be the same in gradle.properties and Version.java # Any idea anyone how to magically synchronize those :-) ? -version = 1.2023.12beta1 +version = 1.2023.12 org.gradle.workers.max = 3 \ No newline at end of file