RFR: 1704: Add or update copyright header in some files

Erik Joelsson erikj at openjdk.org
Fri Dec 2 13:36:05 UTC 2022

On Thu, 1 Dec 2022 23:34:47 GMT, Zhao Song <zsong at openjdk.org> wrote:

> The patch just updated copyright headers in some files.

As I said offline, I assumed you were just going to fix the files you had missed putting a header on recently, but this was a heroic effort, thanks for doing it! As Magnus says, it's probably better to try to automate this kind of change, but even if there is a mistake or two in here, I think we are much closer to being correct with this change than without it. We can always followup with an automated verification later.

I have skimmed through and looked at the formatting.


PR: https://git.openjdk.org/skara/pull/1431

More information about the skara-dev mailing list