On Mon, 18 Jul 2022 08:24:53 GMT, Roland Westrelin <roland at openjdk.org> wrote: > To have this fixed in jdk 19, you need to open a PR againsts jdk 19. But this is a PR against JDK 19, right? ------------- PR: https://git.openjdk.org/jdk19/pull/130