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.