Hi,

I just tried a pull and suppose that a network problem prevented access
to git.savannah.gnu.org.  A bug alert followed, and the transcript is
attached.  Thanks!

Bake