On Thu, 28 Mar 2024 11:30:14 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote: > I have pushed what I believe should be a fix. OK, great. Testing started. I'll let you know the results. ------------- PR Comment: https://git.openjdk.org/jdk/pull/18497#issuecomment-2025609933