On 09/30/2015 07:57 PM, Ray Andrews wrote:
On 09/30/2015 06:52 PM, Bart Schaefer wrote:
I haven't done a git pull for a long time.  Tried it and:
    $ echo $ZSH_PATCHLEVEL
    zsh-5.0.7-319-g4edcacb
That's not current is it? I'd like to check that patch you just made.
Had to erase everything and 'git clone ...' from scratch: zsh-5.1.1-67-gbc2e73b ... much better. Bug fixed.