On Mon, 11 Dec 2023 15:01:06 GMT, Severin Gehwolf <sgehw...@openjdk.org> wrote:
> NVM. Reproduced it. ... and fixed with [b21585b](https://github.com/openjdk/jdk/pull/14787/commits/b21585bac17cdfe46ac3f2f6587b8a6b43a1cd56) ------------- PR Comment: https://git.openjdk.org/jdk/pull/14787#issuecomment-1850473199
