On Thu, 23 Jan 2025 10:08:17 GMT, Theo Weidmann <tweidmann at openjdk.org> wrote: > Fixes a missing comma in the copyright header. Marked as reviewed by epeter (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/23258#pullrequestreview-2569419347