Thanks Peter ----- "Peter Zhelezniakov" <[email protected]> wrote: > I've filed 6963870. > > Would you like to push the fix (you'll need an OpenJDK ID), or I can > handle the push myself? >
Please do push this. jon
Thanks Peter ----- "Peter Zhelezniakov" <[email protected]> wrote: > I've filed 6963870. > > Would you like to push the fix (you'll need an OpenJDK ID), or I can > handle the push myself? >
Please do push this. jon