menu
announcement

Spectrum is now read-only. Learn more about the decision in our official announcement.

Theia

Eclipse Theia - Cloud & Desktop IDE

Channels
Team

Theia 0.13.0 release later today

November 28, 2019 at 12:03pm

Theia 0.13.0 release later today

November 28, 2019 at 12:03pm
Hi,
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
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: https://github.com/eclipse-theia/theia/pull/6658
ok, done with the main repo (still working on theia-cpp-extensions, which should not affect most of you)
Thanks to all contributors!
like-fill
2
(theia-cpp-extensions now done as well)