Theia 1.10.0
Update extensions to fix issue discussed in https://lab.nexedi.com/nexedi/slapos/merge_requests/895#note_126159 and also update theia to its latest version.
Edited by Jérome Perrin
Update extensions to fix issue discussed in https://lab.nexedi.com/nexedi/slapos/merge_requests/895#note_126159 and also update theia to its latest version.