On Fri, Sep 16, 2022, 10:22 Roman Perepelitsa <roman.perepelitsa@gmail.com>
wrote:

On Fri, Sep 16, 2022 at 10:20 AM Michele Venturi <dardo82@gmail.com> wrote:
> >
> > On Fri, Sep 16, 2022, 09:57 Roman Perepelitsa <
> roman.perepelitsa@gmail.com> wrote:
> >
> >> In any case, I think we've exhausted this topic.
> >
> > So can we stop arguing and start working please?
>
> I don't intend to make any changes to zsh that are being discussed here
> and neither does anyone else.
>

I do.