On 12 July 2018 at 02:34, Martin Balao <mba...@redhat.com> wrote: > Hi, > > 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). > > Kind regards, > Martin.- > -- > [1] - https://bugs.openjdk.java.net/browse/JDK-8207151
Though he's not an OpenJDK 7u reviewer, it would be good if Andrew's review could be posted to the list for the record. -- 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