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/

Mandy

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

I'm fine with this.

Roger

Reply via email to