From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andreas Enge Subject: Re: New GMP release Date: Thu, 27 Mar 2014 10:26:01 +0100 Message-ID: <20140327092601.GB14240@debian> References: <20140326130611.GA29149@debian> <87a9cd2co2.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:52243) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WT6Zi-0005ss-Ay for guix-devel@gnu.org; Thu, 27 Mar 2014 05:26:21 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WT6Zb-0006hZ-1L for guix-devel@gnu.org; Thu, 27 Mar 2014 05:26:14 -0400 Content-Disposition: inline In-Reply-To: <87a9cd2co2.fsf@gnu.org> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Ludovic =?iso-8859-15?Q?Court=E8s?= Cc: guix-devel@gnu.org 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