eclipse-theia/theia v1.34.2

Eclipse Theia v1.34.2 - 2023-02 Community Release (candidate)

on GitHub

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