On 10/21/20 11:17 AM, Severin Gehwolf wrote:
Bug: https://bugs.openjdk.java.net/browse/JDK-8250984
webrev: https://cr.openjdk.java.net/~sgehwolf/webrevs/JDK-8250984/01/webrev/

Looks fine to me.

--
Thanks,
-Aleksey

Reply via email to