On Fri, 17 Dec 2021 00:06:25 GMT, David Holmes <dholmes at openjdk.org> wrote: > Sorry Coleen, that completely escaped my notice. :( Rarely does that happen. Thanks for the code review Harold and David. ------------- PR: https://git.openjdk.java.net/jdk/pull/6851