On Fri, 2020-12-11 at 16:24 +0100, Roland Westrelin wrote: > > > > webrev: > > > http://cr.openjdk.java.net/~sgehwolf/webrevs/JDK-8226899/01/webrev/ > > That looks reasonable to me. Thanks, Roland! Cheers, Severin