Release 1.1.0April 30, 2020 at 11:17am
Hi, We plan to proceed with the release in a few hours (~3 hours from now). There is still time to fix little bugs and merge low-risk PRs. We'll post here to let you know when we start
April 30, 2020 at 1:49pm
Starting the release 1.1.0 - please do not merge any PRs until this is done.
Thanks you everyone for your contribution for this nice Theia 1.1.0 release.
The release is complete, you can push new code now