On Tue, 22 Jul 2025 07:50:48 GMT, Andrew Haley <aph at openjdk.org> wrote: > Looks good, thanks. Thanks so much for your review! ------------- PR Comment: https://git.openjdk.org/jdk/pull/26057#issuecomment-3101502718