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

Re: [PATCH] Fix [:IDENT:] vs posixidentifiers



On Sun, Feb 7, 2021 at 7:50 AM Stephane Chazelas <stephane@xxxxxxxxxxxx> wrote:
>
> Ping. Anybody objecting to this?

Not I.  We're behind on merging several patches, I think.




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