On Wed, 31 Jan 2024 17:10:26 GMT, Zdenek Zambersky <zzambers at openjdk.org> wrote: > > > I can include fix in this PR. No, please open a new issue and put it on my name. Let's just ship this fix, we should get it out. ------------- PR Comment: https://git.openjdk.org/jdk/pull/17545#issuecomment-1919572024