Theia 0.13.0 release later todayNovember 28, 2019 at 12:03pm
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.
November 28, 2019 at 6:15pm
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)