On 6 June 2018 at 15:38, Martin Balao <mba...@redhat.com> wrote: > Thanks for review. > > I need you to push it on my behalf, as I don't have permissions to do so. >
Done: http://hg.openjdk.java.net/jdk7u/jdk7u/jdk/rev/e146e0fb6dee -- 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
