|
| From: | Andreas Enge |
| Subject: | New GMP release |
| Date: | Wed, 26 Mar 2014 14:06:11 +0100 |
| User-agent: | Mutt/1.5.21 (2010-09-15) |
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
| [Prev in Thread] | Current Thread | [Next in Thread] |