eclipse-theia/theia v1.37.2

Eclipse Theia v1.37.2

on GitHub

What's Changed

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

• 3a44613
• ded21a4
• 1f0e03a
• 700799e
• e94536a
• 894e890
• 8ac7919
• f38ca73
• 197120e
• 1bdce46
• 10503eb
• 603b28d
• 019c053
• 25ffb38
• b2efa43
• 223c43a
• 8ccb577