On Wed, 10 May 2023 19:32:35 GMT, Daniel D. Daugherty <dcubed at openjdk.org> wrote: > A trivial copyright fix. Marked as reviewed by rriggs (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/13916#pullrequestreview-1421263508