On Mon, 27 Nov 2023 08:27:25 GMT, Stefan Karlsson <stef...@openjdk.org> wrote:
> So, I think you have found a separate issue. I'll open a separate issue for that and propose a change. ------------- PR Comment: https://git.openjdk.org/jdk/pull/16807#issuecomment-1833661517