On 23/04/18 12:33, Chris Hegarty wrote:
Thanks Jaikiran,

I think your patch looks good. I filed the following CSR to track
the Java SE API ( javadoc ) change.

https://bugs.openjdk.java.net/browse/JDK-8202139

Once approved, I can sponsor this for you.

Pushed: http://hg.openjdk.java.net/jdk/jdk/rev/b7c2996d690b

-Chris.

Reply via email to