Re: [PATCH 0/1] zsh: Add alternate URL

2015-12-26 Thread Leo Famulari
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

Re: [PATCH 0/1] zsh: Add alternate URL

2015-12-26 Thread Andreas Enge
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. And

[PATCH 0/1] zsh: Add alternate URL

2015-12-25 Thread Leo Famulari
The adds an alternate URL to get old version of zsh. Leo Famulari (1): gnu: zsh: Add alternate source URL. gnu/packages/zsh.scm | 8 ++-- 1 file changed, 6 insertions(+), 2 deletions(-) -- 2.6.2