Commit 61075eab73f85e2fe2c522874ddeff0e5c87c0b5

Paul Eggert 2025-01-01T14:31:02

maint: make update-copyright