On Thu, 4 Dec 2025 13:39:15 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > Thanks, still fails though: Sure, but which configuration is that? I don't see such a failure in the Github tests. ------------- PR Comment: https://git.openjdk.org/jdk/pull/28541#issuecomment-3619828036