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?
Andreas
