Hi Jon,

[email protected] wrote:
Would you like to push the fix (you'll need an OpenJDK ID), or I can handle the push myself?

Please do push this.

Just pushed into jdk7/swing/jdk, changeset is 2438:f1bafc4f249d.

Thanks!
--
Peter

Reply via email to