On Thu, 29 Oct 2026 12:04:13 GMT, David Holmes <[email protected]> wrote:
>> Is it possible to create a issue of it and make the corrections there? > > It has been fixed: https://github.com/openjdk/jdk/pull/33627 > > But I'm curious where did you copy the header from? To be honest, I don’t remember, I was engrossed in reproducing the error. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/33145#discussion_r4412527982
