Eclipse Theia v1.42.1
·
492 commits
to master
since this release
What's Changed
Based on https://github.com/eclipse-theia/theia/releases/tag/v1.42.0,
The release fixes a regression for production builds #12964.