On Fri, 2 Jun 2023 05:49:59 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > I'm seeing build failures: @TobiHartmann Yes, thanks. I rebased my change to the tip. Now it must be Ok. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13460#issuecomment-1576444043