software/theia: version up (theia 1.27.0) (!1204) · Merge requests · nexedi / slapos

"Lib/jetbrains:/idea/checkout/git" did not exist on "e033e06db077d5abcb4bc3729d03f8a4a09b2486"

Merged Jérome Perrin requested to merge feat/version_up into master Jul 04, 2022