Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: [PATCH] zargs and signal handling



On Sat, Jun 4, 2022 at 9:45 PM Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote:
>
> Here then is a patch

No one had any comment on this and I have other changes to zargs in
the wings so I've gone ahead with pushing this.




Messages sorted by: Reverse Date, Date, Thread, Author