Eclipse Theia v1.13.0 Release

Hi everyone,

The Eclipse Theia v1.13.0 release is tentatively scheduled for later today.
We’ll post when the release begins :rocket:

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 :+1: