> On 15 February 2021 at 22:44 Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote:
> On Mon, Feb 15, 2021 at 7:46 AM Daniel Shahaf <d.s@xxxxxxxxxxxxxxxxxx> 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