The plan is to release 0.11.0 later today. I am waiting for feedback about ongoing work on the plugin system and whether it’s in good-enough shape for this release or if we should give it a bit more time. See: https://github.com/eclipse-theia/theia/pull/6252#issuecomment-535451405
[original thread by Marc Dumais]
As per feedback provided on the PR linked above, the release is on for today.
So please be careful about the PRs you merge; if there is a risk of breakage, please postpone after the release.
ETA: starting in ~5 hours.
Starting the release - please do not merge any PRs until this is done.
thanks to all that contributed to this release