----- Original Message ----- > On 04/27/2016 07:24 PM, Andrew Hughes wrote: > > Ok to push? > > Sure. > > Thanks, > > Andrew. > >
Thanks. Pushed: http://hg.openjdk.java.net/jdk6/jdk6/hotspot/rev/964754807fa6 -- Andrew :) Senior Free Java Software Engineer Red Hat, Inc. (http://www.redhat.com) PGP Key: ed25519/35964222 (hkp://keys.gnupg.net) Fingerprint = 5132 579D D154 0ED2 3E04 C5A0 CFDA 0F9B 3596 4222