----- Original Message ----- > On 12/03/2014 03:55 PM, Andrew Hughes wrote: > > So, is this ok to push? > > Sure. > > Andrew. > >
Thanks. Pushed: http://hg.openjdk.java.net/jdk6/jdk6/jdk/rev/98e143b44620 -- Andrew :) Free Java Software Engineer Red Hat, Inc. (http://www.redhat.com) PGP Key: 248BDC07 (https://keys.indymedia.org/) Fingerprint = EC5A 1F5E C0AD 1D15 8F1F 8F91 3B96 A578 248B DC07