[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: New GMP release
|
From: |
Andreas Enge |
|
Subject: |
Re: New GMP release |
|
Date: |
Thu, 27 Mar 2014 10:26:01 +0100 |
|
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Wed, Mar 26, 2014 at 04:38:05PM +0100, Ludovic Courtès wrote:
> 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?
Let us wait for the next round, I do not think there is a terrible hurry.
Andreas