Re: New GMP release

[Ludovic Courtès]

Andreas Enge <address@hidden> skribis:

> There has just been a new GMP release 6.0.0. I have prepared a patch for
> core-updates, but will wait until hydra catches up with the last recompil-
> ation. Can I then push it, or do we not wish to postpone the merge of
> core-updates into master?

I read your message just after hitting “push” on the merge.
So I guess it’s for the next round.  :-)

Note that you can also add ‘gmp-6.0’ in ‘master’ if that’s useful, but
just leave the default GMP unchanged.

WDYT?

Ludo’.