Hi Conor, On 10/08/2020 16:40, Conor Cleary wrote: > * webrev: > http://cr.openjdk.java.net/~ccleary/issues/webrevs-store/8246707/webrevs/webrev.07/ > * bug: https://bugs.openjdk.java.net/browse/JDK-8246707 > That looks good to me. best regards, -- daniel