Theia 0.14.0 build later today

We plan to proceed with the release in a few hours (~ 6 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.14.0 release is starting, please hold your push until further notice Thanks

[Jacques Bouthillier]

Theia 0.14.0 is now available. Thanks for your patience