On Fri, 11 Jul 2025 08:34:35 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > This looks reasonable. Thank you! @shipilev ------------- PR Comment: https://git.openjdk.org/jdk/pull/26259#issuecomment-3063216917