On Mon, 30 Jun 2025 08:43:44 GMT, Martin Doerr <mdoerr at openjdk.org> wrote: >> Fixed in ab1c7d9 > > That was another newline. 8beb589 should do it. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/26024#discussion_r2174569366