Eclipse Theia v1.40.0 Release

#1

Hi everyone :wave:,

A friendly reminder that the Eclipse Theia v1.40.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 will post an update when the release starts, and completes.

#2

The release will now start, we will comment again when it is complete.

#3

The release has completed, thank you to everyone that contributed :+1:

#4

Release announcement: Eclipse Theia 1.40 Release: News and Noteworthy