Upstream had published jdk-11.0.5+9, let's pick it up to sh/jdk11.
Merge is trivial. I would tag the result immediately as shenandoah-jdk-11.0.5+9.
Changeset list:
https://cr.openjdk.java.net/~shade/shenandoah/merges/jdk11-11.0.5%2b9/changesets.txt
Testing: hotspot_gc_shenandoah {fastdebug,release}
--
Thanks,
-Aleksey