The change looks fine to me.

Thanks
Max

> On Dec 4, 2018, at 1:11 AM, Seán Coffey <sean.cof...@oracle.com> wrote:
> 
> whoops: 
> latest webrev : http://cr.openjdk.java.net/~coffeys/webrev.8213952.v4/webrev/
> Regards,
> Sean.

Reply via email to