Jim Meyering <[email protected]> writes:

> Anyhow, I've just redone that and pushed, so now
> gnulib's repository is back up to date again.

Thank you!  It works fine now.  Now I can push some local commits...

/Simon


Reply via email to