On Tue, 21 Oct 2025 12:41:26 GMT, Andrew Haley <aph at openjdk.org> wrote: > Then I'll integrate. Hold on, I need to merge from master. ------------- PR Comment: https://git.openjdk.org/jdk/pull/26562#issuecomment-3426440055