On 23 July 2018 at 08:56, Andrew Haley <a...@redhat.com> wrote: > On 07/12/2018 02:34 AM, Martin Balao wrote: >> I'd like to propose a fix for JDK-8207151 [1]: >> >> * http://cr.openjdk.java.net/~mbalao/webrevs/8207151/8207151.webrev.01/ >> * http://cr.openjdk.java.net/~mbalao/webrevs/8207151/8207151.webrev.01.zip >> >> This fix has been already reviwed by Andrew Dinn (adinn). > > OK, thanks. > > -- > Andrew Haley > Java Platform Lead Engineer > Red Hat UK Ltd. <https://www.redhat.com> > EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671
Thanks. I've pushed this. -- Andrew :) Senior Free Java Software Engineer Red Hat, Inc. (http://www.redhat.com) Web Site: http://fuseyism.com Twitter: https://twitter.com/gnu_andrew_java PGP Key: ed25519/0xCFDA0F9B35964222 (hkp://keys.gnupg.net) Fingerprint = 5132 579D D154 0ED2 3E04 C5A0 CFDA 0F9B 3596 4222
