Commit 2cdc1bafb20b187ad067056e090fcb4396ed9099

Paul Eggert 2020-01-01T00:00:18

maint: Run 'make update-copyright'