Re: gmp revision to sync to Gnulib?

[Karl Berry]

I run it from cron nightly. Either I'm in or out :).
Ok, I'll keep doing it ...