On Fri, Sep 16, 2022 at 10:20 AM Michele Venturi <dardo82@xxxxxxxxx> wrote:
> On Fri, Sep 16, 2022, 09:57 Roman Perepelitsa <roman.perepelitsa@xxxxxxxxx> 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.