Thanks Patrick! That looks good to me.
best regards, -- daniel On 13/08/2020 11:07, Patrick Concannon wrote:
Hi, Daniel: Thanks for spotting these. I’ve made these changes and incorporated them into the new webrev below. Alan: I’ve added the tags, and trimmed the debug message as you’ve suggested. http://cr.openjdk.java.net/~pconcannon/8240901/webrevs/webrev.02/ Kind regards, Patrick
