> 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