On 09/06/2020 10:24, Patrick Concannon wrote:
Hi Alan,

Thanks for spotting this.

I’ve included the change in the updated webrev below.
http://cr.openjdk.java.net/~pconcannon/8245828/webrevs/webrev.01/

Looks good.

-Alan

Reply via email to