On Tue, Mar 26, 2019 at 10:23 AM Peter Stephenson
wrote:
> On Mon, 2019-03-25 at 23:11 +0100, Roman Perepelitsa wrote:
> > Is there something I need to do to ensure this fix is included in the
> > future zsh releases? Or perhaps you'll apply the patch yourself?
>
> Nothing more to do; if it works I'll simply put it in.
>
Awesome! Yes, it works perfectly in the scenario I described.
Roman.