Theia 1.24.0 (!1149) · Merge requests · nexedi / slapos · GitLab

Merged Jérome Perrin requested to merge feat/theia-1.24.0 into master Apr 01, 2022

https://github.com/eclipse-theia/theia/releases/tag/v1.24.0

Edited Apr 06, 2022 by Jérome Perrin