On Fri, 7 Nov 2025 00:00:52 GMT, Dean Long <dlong at openjdk.org> wrote: > OK, I'm fine with cleaning this up as a separate issue. @dean-long Thank you for reviewing! ------------- PR Comment: https://git.openjdk.org/jdk/pull/28141#issuecomment-3501395652