Integrated: 8302678: validate_source fails after JDK-8293313

Thu Feb 16 17:17:27 UTC 2023

On Thu, 16 Feb 2023 17:07:15 GMT, Daniel D. Daugherty <dcubed at openjdk.org> wrote:

> A trivial copyright header fix.

This pull request has now been integrated.

Changeset: 574b48c6
Author:    Daniel D. Daugherty <dcubed at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/574b48c6925ebfb31345fc46c7d23aa4153f99b0
Stats:     1 line in 1 file changed: 1 ins; 0 del; 0 mod

8302678: validate_source fails after JDK-8293313

Reviewed-by: bpb

-------------

PR: https://git.openjdk.org/jdk/pull/12599