From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andreas Enge Subject: Re: [PATCH 0/1] zsh: Add alternate URL Date: Sat, 26 Dec 2015 14:34:02 +0100 Message-ID: <20151226133402.GB8106@debian.fritz.box> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:42015) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aCoz8-0000Ai-CO for guix-devel@gnu.org; Sat, 26 Dec 2015 08:34:15 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aCoz5-0005Ql-4f for guix-devel@gnu.org; Sat, 26 Dec 2015 08:34:14 -0500 Received: from mout.kundenserver.de ([212.227.126.131]:64753) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aCoz4-0005Oi-LG for guix-devel@gnu.org; Sat, 26 Dec 2015 08:34:11 -0500 Content-Disposition: inline In-Reply-To: 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: Leo Famulari Cc: guix-devel@gnu.org On Sat, Dec 26, 2015 at 02:51:41AM -0500, Leo Famulari wrote: > The adds an alternate URL to get old version of zsh. > Leo Famulari (1): > gnu: zsh: Add alternate source URL. I think all these source uri updates are useful and safe modifications that you can push without asking on the list. Andreas