On Fri, 4 Jul 2025 09:11:40 GMT, Andrew Haley <aph at openjdk.org> wrote: > This looks good. Thanks. Thanks so much for your review! ------------- PR Comment: https://git.openjdk.org/jdk/pull/26057#issuecomment-3035115512