Commit 2c13f11abc154deb219f6f3e68d472dedc801e35

Paul Eggert 2025-01-01T11:31:58

maint: update copyrights by hand This fixes some copyright dates that were not updated correctly by "make update-copyright".