Re: copyright 2017 in synced files

[Paul Eggert]

Karl Berry wrote:

Can the changes in these files be reverted please?

Thanks, I wish the copyright-update script didn't do that. I reverted those 
changes.