On Wed, 14 Oct 2020 10:57:34 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote: > Please review this trivial copyright header fix. Thank you. Looks good and trivial. ------------- Marked as reviewed by shade (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/652