On Thu, 1 Jan 2026 14:39:14 GMT, Lutz Schmidt <lucy at openjdk.org> wrote: > Changes look good. Thanks for the review ! ------------- PR Comment: https://git.openjdk.org/jdk/pull/28851#issuecomment-3704735509