On Wed, 24 Sep 2025 14:04:09 GMT, Jaikiran Pai <jpai at openjdk.org> wrote: > Thank you Brian, these changes look reasonable to me. Thanks, @jaikiran and @vy! ------------- PR Comment: https://git.openjdk.org/jdk/pull/27440#issuecomment-3330218327