On Fri, 1 Aug 2025 07:03:07 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > Thanks! @TobiHartmann, are you good with this? Friendly ping :) ------------- PR Comment: https://git.openjdk.org/jdk/pull/26559#issuecomment-3150123963