software/theia: version up theia 1.7.0 (!851) · Merge requests · nexedi / slapos · GitLab

Merged Jérome Perrin requested to merge feat/theia-1.7.0 into master Oct 30, 2020

https://github.com/eclipse-theia/theia/blob/v1.7.0/CHANGELOG.md#v170---29102020