Eclipse Theia v1.11.0 Release

Hi everyone,

The Eclipse Theia v1.11.0 release is scheduled for later today.
There is still time to resolve/merge any low-risk pull-requests before the release if necessary.

We’ll post an update when the release starts!

The release is currently ongoing, please do not merge any pull-requests in the meantime :slight_smile: