Commit 281b825eba78dc403b9bf34979923bc587bc31af

Paul Eggert 2018-01-01T00:57:25

maint: Run 'make update-copyright'