On Wed, 5 Oct 2022 06:01:12 GMT, Robbin Ehn <rehn at openjdk.org> wrote: > I thought did with Sorry I seem to have developed a selective reading disorder :( Thanks for explaining. ------------- PR: https://git.openjdk.org/jdk/pull/10527