0.11.0 releaseSeptember 26, 2019 at 11:01am
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
September 26, 2019 at 12:04pm
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.
ok, all done
thanks to all that contributed to this release