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