Am 05.01.20 um 17:03 schrieb Paul Smith:
That is not the right URL; you want git://git.sv.gnu.org/gnulib (note the
/git subdirectory is removed).
When you use https: you need to use /git/gnulib after the hostname, but
when you use the git: protocol you just use /gnulib after the hostname.
Ups - thanks, missed that.
Strange enough, bootstrap now also works unmodified, i.e. using the url
git://git.sv.gnu.org/gnulib. That's really weird, as I'm absolutely sure
that
I didn't change anything w.r.t. my network settings, and I certainly never
put above's typing error into bootstrap.
Anyhow, be it as it may, sorry for the noise :-(.
