On Thu, 10 Oct 2024 15:31:56 GMT, Jesper Steen Møller <jespersm at openjdk.org> wrote: > ... as per https://bugs.openjdk.org/browse/JDK-8199429 This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/valhalla/pull/1273