On 22.07.2020 22:42, Andrew Hughes wrote: >> >> http://cr.openjdk.java.net/~akozlov/8249677/webrev.03/ >> > > Thanks. I'm happy with this version. > > Please flag for approval. Thanks! The flag have been set -- Anton