On 25/06/2020 5:21 am, Mandy Chung wrote:
Hi Roger, David,

Thanks for the help in improving this.  As a record, this webrev shows the version as David suggests:
http://cr.openjdk.java.net/~mchung/jdk15/webrevs/8247785/webrev.00/

Looks good to me :)

Thanks,
David

Mandy

On 6/24/20 9:33 AM, Roger Riggs wrote:
Hi Mandy,

I'm fine with this.

Roger

Reply via email to