Release Theia 1.2.0

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

[original thread by Jacques Bouthillier]

[Jacques Bouthillier]

Starting the release - please do not merge any PRs until this is done.

[Jacques Bouthillier]

Thanks you all for your great work to make Theia 1.2.0 a good IDE,
The release is complete, you can push new code now.