Hi,
Daniel Shahaf wrote:
> TS wrote on Mon, 17 Sep 2018 21:54 +0200:
> > Just to be sure i again tried stock debian zsh 5.6.2 which still fails for
> > me.
> > The version you uploaded fixes it for me.
>
> Thanks for testing both versions!
A thanks from me, too.
Will soon upload 5.6.2-2 with that patch and some more changes I have
planned for the next upload.
Daniel: If you have the patch already in git for your test build, feel
free to push it to the debian branch on Salsa.
Regards, Axel
--
,''`. | Axel Beckert <a...@debian.org>, https://people.debian.org/~abe/
: :' : | Debian Developer, ftp.ch.debian.org Admin
`. `' | 4096R: 2517 B724 C5F6 CA99 5329 6E61 2FF9 CD59 6126 16B5
`- | 1024D: F067 EA27 26B9 C3FC 1486 202E C09E 1D89 9593 0EDE
