Eclipse Theia v1.34.2 - 2023-02 Community Release

News & Noteworthy

What's Changed

The v1.34.2 Eclipse Theia community release is based on the v1.34.1 community release with additional content such as:

• a66a073
• 5da2c2c