Thanks Patrick! I pushed it.
best regards, -- daniel On 23/09/2019 18:13, Patrick Concannon wrote:
Hi Pavel,Thanks for the feedback. I've incorporated the changes you suggested, and you can find them in the new webrev below.http://cr.openjdk.java.net/~pconcannon/8217825/webrevs/webrev.02/ Kind regards, Patrick