Upstream pushed out 11.0.7+7, let's pick it up to sh/jdk11.
Merge is trivial. I am going to tag it shenandoah-11.0.7+7.
Changesets:
https://cr.openjdk.java.net/~shade/shenandoah/merges/jdk11-11.0.7%2b7/changesets.txt
Testing: hotspot_gc_shenandoah {fastdebug,release}
--
Thanks,
-Aleksey