Skip to content

Theia 1.16.0

Jérome Perrin requested to merge feat/theia-1.16.0 into master

See theia's changelog, we update from 1.13.0 to 1.16.0.

Changes specific to slapos port:

Edited by Jérome Perrin

Merge request reports