Commit 0d0926ef6088ad8caffd7fe6dec808eda42c0095

Paul Eggert 2024-01-01T11:27:31

maint: make fetch