On Wed, 23 Nov 2022 14:56:58 GMT, Alexey Ivanov <[email protected]> wrote:
> It makes sense to copy the license header from another file in the same > directory to make sure nothing's missing. Exactly. That's how I spotted the second problem -- by doing a diff with another file that wasn't touched by the PR in question. ------------- PR: https://git.openjdk.org/jdk/pull/11324
