Commit 06971c3d56c09236ed2e45a085e8f6db787f751e

Paul Eggert 2019-10-14T13:44:48

maint: make fetch