On Thu, 18 Dec 2025 15:23:42 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > I'll task one of our folks to do it after NY break. That would be: https://bugs.openjdk.org/browse/JDK-8374513 ------------- PR Comment: https://git.openjdk.org/jdk/pull/25305#issuecomment-3709629142