On Thu, 8 Jan 2026 11:53:25 GMT, Roland Westrelin <roland at openjdk.org> wrote: >> Sounds good, let's do it separately. > > I filed: https://bugs.openjdk.org/browse/JDK-8374789 Thanks! ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/28769#discussion_r2677831123