On Thu, 16 Feb 2023 17:09:57 GMT, Brian Burkhalter <bpb at openjdk.org> wrote: >> A trivial copyright header fix. > > Marked as reviewed by bpb (Reviewer). @bplb - Thanks for the fast review! ------------- PR: https://git.openjdk.org/jdk/pull/12599