Theia 0.13.0 release later today

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.

[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: 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!

(theia-cpp-extensions now done as well)