On Wed, 18 Jun 2025 14:23:38 GMT, Matthias Baesken <mbaesken at openjdk.org> wrote: > Header is a different one in 21u-dev LGTM. ------------- Marked as reviewed by mdoerr (Reviewer). PR Review: https://git.openjdk.org/jdk21u-dev/pull/1903#pullrequestreview-2939783240