Eclipse Theia v1.17.2 Patch Release

Hi,

First time we publish two patches in a row, but we misidentified a regression and only recently found a fix for it!

See the CHANGELOG.

3 Likes