Theia update to 1.12.1 (!958) · Merge requests · nexedi / slapos · GitLab

You need to sign in or sign up before continuing.

Merged Jérome Perrin requested to merge feat/theia-version-up into master Apr 06, 2021

update theia and some dependencies, including:

theia-open which should no longer segfault
buildout language server which should not report so many false positives

Edited Apr 12, 2021 by Jérome Perrin