Theia 0.13.0 release later today


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

We are starting with the release - please do not merge anything more until we’re done

Any committer: please approve my release PR so I can merge:

ok, done with the main repo (still working on theia-cpp-extensions, which should not affect most of you)

Thanks to all contributors!

(theia-cpp-extensions now done as well)