[JetBrains] Update Platform Version from JetBrains Gateway Plugin (Stable)#20191

roboquat wants to merge 1 commit intomaingitpod-io/gitpod:mainfrom

jetbrains/stable-gateway-plugin-platformgitpod-io/gitpod:jetbrains/stable-gateway-plugin-platformCopy head branch name to clipboard