RFR: 8275745: Reproducible copyright headers [v3]

Fri Nov 19 13:59:47 UTC 2021

On Fri, 19 Nov 2021 13:14:56 GMT, Emmanuel Bourg <duke at openjdk.java.net> wrote:

>> @ebourg To finish integrating this PR, you need to type `/integrate` as a PR comment. This will allow the Skara bots to move the bug on to the state where I can sponsor it.
>
> @magicus Thank you for the hint!

@ebourg Thank you for your contribution! It's been a long and bumpy ride for something that seemed like a simple patch. I hope you have not been scared away from contributing to the JDK in the future. :-)

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

PR: https://git.openjdk.java.net/jdk/pull/1498