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 >
