Hi everyone,
The Eclipse Theia v1.13.0 release is tentatively scheduled for later today.
We’ll post when the release begins 
Thank you!
The release is now ongoing, please do not merge any pull-requests until it has completed.
The release has completed!
Thank you to everyone who contributed to this month’s release 