Theia 0.15.0 build later today

We plan to proceed with the release in a few hours (~4 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]

Theia 0.15.0 release is starting, please hold your push until further notice Thanks

[Jacques Bouthillier]

Theia 0.15.0 is released, enjoy the new version and thanks you to all contributors

Thanks Jacques