On Fri, 24 Jun 2022 13:41:28 GMT, Alan Bateman <alanb at openjdk.org> wrote: > Oh, I closed this JBS issue as a dup of JDK-8289095 before seeing there is a PR. The PR for JDK-8289095 is PR9265. No problem, I close this PR then. Cheers, Thomas ------------- PR: https://git.openjdk.org/jdk/pull/9275