Changes look fine. I suppose Paul will help sponsoring the fix as he is listed as the RE for 8231387?

Thanks,
Valerie
On 9/24/2019 12:36 PM, Shi, Tianmin wrote:
Hi
Can someone help reviewing this fix?

Bug: https://bugs.openjdk.java.net/browse/JDK-8231387

Webrev: http://cr.openjdk.java.net/~phh/8231387/webrev.00/

Thank you,

Tianmin Shi

Reply via email to