fix: merge from main was botched

fioan89 · fioan89 · commit caa9c0c31532 · 2025-06-19T22:58:01.000+03:00
diff --git a/gradle.properties b/gradle.properties
@@ -23,7 +23,7 @@ pluginSinceBuild=243.26053
 # (for example if 233.14808-EAP-CANDIDATE-SNAPSHOT is missing then find a 233.*
 # that exists, ideally the most recent one, for example
 # 233.15325-EAP-CANDIDATE-SNAPSHOT).
-platformVersion=243.26053-EAP-CANDIDATE-SNAPSHOT
+platformVersion=2024.3
 # Gateway does not have open sources.
 platformDownloadSources=true
 # available releases listed at: https://data.services.jetbrains.com/products?code=GW
