[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 0/1] zsh: Add alternate URL
|
From: |
Leo Famulari |
|
Subject: |
Re: [PATCH 0/1] zsh: Add alternate URL |
|
Date: |
Sat, 26 Dec 2015 11:27:35 -0500 |
|
User-agent: |
Mutt/1.5.24 (2015-08-30) |
On Sat, Dec 26, 2015 at 02:34:02PM +0100, Andreas Enge wrote:
> 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.
I'll do that in the future, thanks!
>
> Andreas
>