On Thu, 25 May 2023 09:46:23 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: >> Looks good and trivial! > > @chhagedorn We seem to be well-synced this week :) @TobiHartmann Haha, yes indeed! :-) ------------- PR Comment: https://git.openjdk.org/jdk/pull/14141#issuecomment-1562608956