[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.

[Deleted]

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)