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