Re: cloning gnulib fails

[Paul Eggert]

On 12/23/2012 09:09 AM, Paul Eggert wrote:

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

That bug should now be fixed.  Thanks again for
reporting it.