On Thu, 16 Feb 2023 17:07:15 GMT, Daniel D. Daugherty <dcubed at openjdk.org> wrote: > A trivial copyright header fix. Marked as reviewed by bpb (Reviewer). ------------- PR: https://git.openjdk.org/jdk/pull/12599