On Mon, 18 Aug 2025 15:02:42 GMT, Markus Grönlund <mgronlun at openjdk.org> wrote: > Looks good. Thank you, @mgronlun ------------- PR Comment: https://git.openjdk.org/jdk/pull/26801#issuecomment-3199209692