[0.7.1] Upcoming bugfix release

Because of vscode-uri breaking changes we have to prepare a new bugfix release. Let us know if you want to include other commits today.

[original thread by Anton Kosyakov]

@yevhen Can @vinokur look into https://github.com/theia-ide/theia/issues/5338? It has to be fixed and included. Let us know if not, someone should.


Hello, yes he is looking on it

Theia bugfix release 0.7.1 has been done late yesterday. See here for more details: https://github.com/theia-ide/theia/issues/5336

(work is ongoing regarding the git issue above: when we have a fix, we’ll consider doing a 0.7.2)