[Pkg-zsh-devel] Working on zsh 5.4.1...

[Axel Beckert]

Hi Daniel,

On Thu, Aug 10, 2017 at 04:22:55PM +0000, Daniel Shahaf wrote:
> Axel Beckert wrote on Thu, 10 Aug 2017 16:54 +0200:
> Did you see the patch I'd posted yesterday, subject "[Pkg-zsh-devel]
> [PATCH] Change the value of $ZSH_PATCHLEVEL"?  No bug number.

Nope, thanks for the heads up.

> No rush to include it; just making sure you're aware of it. :-)

Looks fine on a first glance. Will probably include it as is, thanks!

		Kind regards, Axel
-- 
/~\  Plain Text Ribbon Campaign                   | Axel Beckert
\ /  Say No to HTML in E-Mail and News            | abe at deuxchevaux.org  (Mail)
 X   See http://www.nonhtmlmail.org/campaign.html | abe at noone.org (Mail+Jabber)
/ \  I love long mails: http://email.is-not-s.ms/ | http://abe.noone.org/ (Web)