On 28/06/2019 07:14, Alvarez, David wrote: > Looks good to me >
Thanks David. Pushed: https://hg.openjdk.java.net/jdk8u/jdk8u/jdk/rev/9b5707865a97 -- 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
signature.asc
Description: OpenPGP digital signature