On Wed, 10 May 2023 19:33:28 GMT, Roger Riggs <rriggs at openjdk.org> wrote: >> A trivial copyright fix. > > Marked as reviewed by rriggs (Reviewer). @RogerRiggs and @plummercj - Thanks for the lightning fast reviews! ------------- PR Comment: https://git.openjdk.org/jdk/pull/13916#issuecomment-1542703655