Looks good to me.

> On 5 Mar 2020, at 02:05, Jonathan Gibbons <[email protected]> wrote:
> 
> http://cr.openjdk.java.net/~jjg/8240555/webrev.00/

Reply via email to