[Release] Version v20250731.01

2025-07-31 21:12:07 +02:00
parent 311ba2a881
commit cd04be7f52
2 changed files with 112 additions and 1 deletions
--- a/versionToServerVersionMapping.json
+++ b/versionToServerVersionMapping.json
@@ -4,7 +4,12 @@
    "serverVersion": "r1856"
  },
  {
-    "tag": "20250703.01",
+    "tag": "v20250731.01",
+    "uiVersion": "r2715",
+    "serverVersion": "r1856"
+  },
+  {
+    "tag": "v20250703.01",
    "uiVersion": "r2643",
    "serverVersion": "r1719"
  },