From 2b2f29191113b17be0c35e8a503643e0206a9fcc Mon Sep 17 00:00:00 2001 From: Arnaud Roques Date: Fri, 20 Oct 2023 16:39:19 +0200 Subject: [PATCH] chore: gradle.properties has been skipped --- gradle.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gradle.properties b/gradle.properties index 11d4e612e..4a0fe315d 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