Theia update to 1.12.1
update theia and some dependencies, including:
- theia-open which should no longer segfault
- buildout language server which should not report so many false positives
update theia and some dependencies, including:
This will create a new commit in order to revert the existing changes.