Upstream published jdk-11.0.7+5, let's pick it up.
The merge is trivial. I would tag the result shenandoah-jdk-11.0.7+5 right away.
Changeset list:
https://cr.openjdk.java.net/~shade/shenandoah/merges/jdk11-11.0.7%2b5/changesets.txt
Testing: hotspot_gc_shenandoah {fastdebug,release}
--
Thanks,
-Aleksey