Re: savannah git stale?

[Simon Josefsson]

Jim Meyering <j...@meyering.net> 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