On Wed, 10 May 2023 19:32:35 GMT, Daniel D. Daugherty <dcu...@openjdk.org> wrote:
> A trivial copyright fix. This pull request has now been integrated. Changeset: df90df29 Author: Daniel D. Daugherty <dcu...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/df90df298e4183f5328b88ff0af91ba96fb2510d Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod 8307857: validate-source fails after JDK-8306758 Reviewed-by: rriggs, cjplummer ------------- PR: https://git.openjdk.org/jdk/pull/13916
