00b15927496058d23e6258a28d8996f87cf1f191		branch 'master' of https://git.savannah.gnu.org/git/config
