On Mon, 27 Oct 2025 16:47:35 GMT, Robbin Ehn <rehn at openjdk.org> wrote: > Hi, please consider. > > Sanity tested, running t1. > > Thanks, Robbin Fixed, thanks for having a look! ------------- PR Comment: https://git.openjdk.org/jdk/pull/28005#issuecomment-3454965132