* Anthony Petrov <anthony.pet...@oracle.com> [2014-05-05 10:12]:
> The fix looks good to me, too.

Thanks. I have pushed it:
http://hg.openjdk.java.net/jdk9/client/jdk/rev/8b9bbe3b2e83

Regards,
Omair

-- 
PGP Key: 66484681 (http://pgp.mit.edu/)
Fingerprint = F072 555B 0A17 3957 4E95  0056 F286 F14F 6648 4681

Reply via email to