Commit b80b5c476e78b4d9dbd3fa46f2f8b87c44d8448b

Paul Eggert 2024-01-01T11:29:06

maint: make update-copyright