0.11.0 release

#1

Hi,

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]

#2

As per feedback provided on the PR linked above, the release is on for today.

#3

So please be careful about the PRs you merge; if there is a risk of breakage, please postpone after the release.

#4

ETA: starting in ~5 hours.

#5

Starting the release - please do not merge any PRs until this is done.

#6

ok, all done

#7

thanks to all that contributed to this release