Eclipse Theia v1.47.1

jfaltermeier released this 06 Mar 10:37

· 112 commits to master since this release

Based on https://github.com/eclipse-theia/theia/releases/tag/v1.47.0.
The release fixes the following regressions: 9ff0ced

Assets 5