Thanks!

On Tue, Feb 16, 2021 at 1:18 AM Peter Stephenson <
p.w.stephenson@ntlworld.com> wrote:

> > On 15 February 2021 at 22:44 Bart Schaefer <schaefer@brasslantern.com>
> wrote:
> > On Mon, Feb 15, 2021 at 7:46 AM Daniel Shahaf <d.s@daniel.shahaf.name>
> wrote:
> > >
> > > Ping.  This patch hasn't been reviewed.
> >
> > I looked through it and didn't find any technical issues.  I don't
> > know what if any effect the "release into the public domain" has on
> > zsh's license, and I'm not presently in a position to easily pull
> > patches from list messages into a push-able git sandbox, so I didn't
> > go any further.
>
> That's fine, being in the public domain means we can do anything we like
> with
> it, but then so can anyone else --- it's a particularly weak requirement
> compared
> with anything we usually have.  I've committed it.
>
> pws
>