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

Reply via email to