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
