Theia 1.10.0 (!903) · Merge requests · nexedi / slapos

Theia 1.10.0

Update extensions to fix issue discussed in !895 (comment 126159) and also update theia to its latest version.

Edited 4 years ago by Jérome Perrin

You're only seeing other activity in the feed. To add a comment, switch to one of the following options.

Please register or sign in to reply