On Fri, 19 Sep 2025 09:50:59 GMT, Jaikiran Pai <jpai at openjdk.org> wrote: > it would be good to hear from Alan @AlanBateman or Brian @bplb if this change is OK I think it looks okay. ------------- PR Comment: https://git.openjdk.org/jdk/pull/27376#issuecomment-3314013231