chore: prepare release 1.2023.11

This commit is contained in:
Arnaud Roques 2023-09-13 20:35:31 +02:00
parent 41ba2020b6
commit 057a076817
2 changed files with 3 additions and 3 deletions

View File

@ -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.11beta3
version = 1.2023.11
org.gradle.workers.max = 3

View File

@ -46,7 +46,7 @@ public class Version {
// Warning, "version" should be the same in gradle.properties and Version.java
// Any idea anyone how to magically synchronize those :-) ?
private static final String version = "1.2023.11beta3";
private static final String version = "1.2023.11";
public static String versionString() {
return version;
@ -80,7 +80,7 @@ public class Version {
}
public static long compileTime() {
return 1689177247577L;
return 1694629593289L;
}
public static String compileTimeString() {