On Tue, 4 Nov 2025 09:30:26 GMT, Andrew Haley <aph at openjdk.org> wrote: >Yes, do that. Opened the ticket and corresponding PR: https://bugs.openjdk.org/browse/JDK-8371205 https://github.com/openjdk/jdk/pull/28131 ------------- PR Comment: https://git.openjdk.org/jdk/pull/26845#issuecomment-3486079877