Theia 0.15.0 build later today

#1

Hi,
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]

#2

[Jacques Bouthillier]

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

#3

[Jacques Bouthillier]

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

#4

Thanks Jacques