Commit eec12c00cf3f8c649297cf13fbbac6b0a27676de

Paul Eggert 2022-01-01T09:43:19

maint: run 'make update-copyright'