[Pkg-zsh-devel] Bug#707760: zsh: Alternatives broken for long time during upgrade from zsh4 to zsh5

[Axel Beckert]

Hi Aaron,

Aaron Schrab wrote:
> At 12:12 +0200 10 Oct 2014, Axel Beckert <abe at debian.org> wrote:
> >That's how I committed it last night:
> >
> >https://anonscm.debian.org/cgit/collab-maint/zsh.git/commit/?id=438969ffb81fd46b514d42a77b74890a7b4f778f
> 
> Shouldn't the #! line use zsh5 explicitly?

Yes, we just noticed it, too, and fixed it:

https://anonscm.debian.org/cgit/collab-maint/zsh.git/commit/?id=a8b00da664fbea424f5c11e9b22f641b66059642

Thanks for cross-checking!

		Regards, Axel
-- 
 ,''`.  |  Axel Beckert <abe at debian.org>, http://people.debian.org/~abe/
: :' :  |  Debian Developer, ftp.ch.debian.org Admin
`. `'   |  1024D: F067 EA27 26B9 C3FC 1486  202E C09E 1D89 9593 0EDE
  `-    |  4096R: 2517 B724 C5F6 CA99 5329  6E61 2FF9 CD59 6126 16B5