·
30 commits
to master
since this release
Based on https://github.com/eclipse-theia/theia/tree/v1.72.3
Includes the following fixes:
Full Changelog: v1.72.2...v1.72.3