Eclipse Theia v1.12.0 Release

Hi everyone,

We plan on proceeding with the Theia v1.12.0 release later today.
There is still time to resolve/merge any low-risk pull-requests before the release if necessary.

We will post an update when release starts :+1:

1 Like

The release is now ongoing, please do not merge any pull-requests until it has completed :+1:

The release is now complete, thank you to everyone who contributed :slight_smile: :champagne: