On 10/12/2018 05:40, Jini George wrote:
Hello,This is a request to review the proposed change to fix: https://bugs.openjdk.java.net/browse/JDK-8215026 The webrev is at: http://cr.openjdk.java.net/~jgeorge/8215026/webrev.00/index.html
This looks okay to me. -Alan