On Fri, 23 Jan 2026 10:24:56 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote: > Looks OK to me. Thank you for reviewing! ------------- PR Comment: https://git.openjdk.org/jdk/pull/29018#issuecomment-3793860151