Andreas Enge <andr...@enge.fr> 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’.
