On Fri, 19 Nov 2021 16:30:41 GMT, Volker Simonis <simonis at openjdk.org> wrote: > Looks good now. Many thanks, Volker! Nice to have this issue finally going somewhere. I feared it was stuck in PR limbo till after 18 ships. ------------- PR: https://git.openjdk.java.net/jdk/pull/5952