+1

-- Kevin

On 3/13/2020 11:25 AM, Johan Vos wrote:
Hi Kevin,

Please review http://cr.openjdk.java.net/~jvos/8241021/webrev.00/ which
fixes https://bugs.openjdk.java.net/browse/JDK-8241021

Thanks,

- Johan

Reply via email to