Update Platform Version from JetBrains Gateway Plugin#14231

Merged

roboquat merged 1 commit intomainfrom

jetbrains/gateway-plugin-platform

Oct 27, 2022

Commits on Oct 27, 2022

Update Platform Version of JetBrains Gateway Plugin to 223.7255.1-CUSTOM-SNAPSHOT
roboquat
authored