Subject: Re: ZSH_SCRIPT
From: Bart Schaefer <[email-masked]>
To: [email-masked]
Date: Thu, 25 Feb 2016 15:04:25 -0800
List-Id: Zsh Workers List <zsh-workers.zsh.org>

On Feb 25, 12:59pm, Greg Klanderman wrote:
}
} Are you saying this is new enough that it can still be changed?

That's how I interpret what Peter said, yes.  I don't really have any
preference here.