Re: Integrated: 8307857: validate-source fails after JDK-8306758

[Roger Riggs]

On Wed, 10 May 2023 19:32:35 GMT, Daniel D. Daugherty <dcu...@openjdk.org> 
wrote:

> A trivial copyright fix.

Marked as reviewed by rriggs (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/13916#pullrequestreview-1421263508