On 13 July 2018 at 08:36, Andrew Dinn <ad...@redhat.com> wrote: > On 12 July 2018 at 02:34, Martin Balao <mbalao at redhat.com> 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). > > I am not an official jdk7u reviewer. However, I can still confirm that I > have unofficially reviewed Martin's fix and agree it is correct. > > regards, > > > Andrew Dinn > ----------- > Senior Principal Software Engineer > Red Hat UK Ltd > Registered in England and Wales under Company Registration No. 03798903 > Directors: Michael Cunningham, Michael ("Mike") O'Neill, Eric Shander
Thanks Andrew. As an OpenJDK 7 reviewer, I'm happy for the fix to go in. -- 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
