0.11.0 release


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.

ok, all done

thanks to all that contributed to this release