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

Zhao Song zsong at openjdk.org
Fri Dec 2 20:49:00 UTC 2022


On Fri, 2 Dec 2022 13:32:41 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

> 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.

Thanks, Erik!

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

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


More information about the skara-dev mailing list