[11] RFC: Pick up 11.0.8+4 to sh/jdk11

[Roman Kennke]

Ok good!

Thanks,
Roman

On Wed, 2020-05-20 at 11:25 +0200, Aleksey Shipilev wrote:
> Upstream had published 11.0.8+4, let's pick it up to sh/jdk11.
> 
> Merge is trivial, I would tag it with shenandoah-jdk-11.0.8+4 right
> away.
> 
> Testing: hotspot_gc_shenandoah {fastdebug,release}
>