[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 0/1] zsh: Add alternate URL
|
From: |
Andreas Enge |
|
Subject: |
Re: [PATCH 0/1] zsh: Add alternate URL |
|
Date: |
Sat, 26 Dec 2015 14:34:02 +0100 |
|
User-agent: |
Mutt/1.5.24 (2015-08-30) |
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