Re: cloning gnulib fails

[Paul Eggert]

Thanks for mentioning that; I filed a bug report at:

https://savannah.gnu.org/support/index.php?108214