On Tue, 2021-08-10 at 18:28 +0100, Andrew Hughes wrote: > Webrev: https://cr.openjdk.java.net/~andrew/openjdk8/8272214/webrev.01/ Nice work! It looks fine to me. Perhaps better, though, to wait for another review for another sanity check. Thanks, Severin