On Mon, 7 Aug 2023 12:27:39 GMT, Per Minborg <pminb...@openjdk.org> wrote:
> This PR fixes a formatting error in a copyright header. Looks good and trivial to me. ------------- Marked as reviewed by thartmann (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/15175#pullrequestreview-1565217211
