RFC: Pick up 11.0.7+7 to sh/jdk11

[Roman Kennke]

Ok!

Thanks, Roman

On 3/11/20 1:59 PM, Aleksey Shipilev wrote:
> 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}
>