RFR: [11u] jdk-11.0.5+10 / jdk-11.0.5-ga

[Andrew John Hughes]

On 15/10/2019 22:25, Aleksey Shipilev wrote:
> On 10/15/19 11:22 PM, Andrew John Hughes wrote:
>> Webrev: https://cr.openjdk.java.net/~andrew/shenandoah-11/11.0.5/
>> Merge changeset:
>> https://cr.openjdk.java.net/~andrew/shenandoah-11/11.0.5/11.0.5+10.merge
> 
> Looks good to me, thank you.
> 
>> Ok to push?
> 
> This is the push to shenandoah/jdk11? If so, yes, it is OK to push.
> 

Thanks. Pushed.
-- 
Andrew :)

Senior Free Java Software Engineer
Red Hat, Inc. (http://www.redhat.com)

PGP Key: ed25519/0xCFDA0F9B35964222 (hkp://keys.gnupg.net)
Fingerprint = 5132 579D D154 0ED2 3E04  C5A0 CFDA 0F9B 3596 4222
https://keybase.io/gnu_andrew