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 
Published.