Although I'm subscribed to zsh-workers, I didn't see Marlon's follow-up.

  - Vin

On Mon, Jun 5, 2023 at 4:25 PM Bart Schaefer <schaefer@brasslantern.com>
wrote:

> On Mon, Jun 5, 2023 at 12:53 AM Jun T <takimoto-j@kba.biglobe.ne.jp>
> wrote:
> >
> > It seems the fix is so trivial that no one is prepareing it.
> > I'll push the following.
>
> Marlon posted something very similar (if not identical) in
> workers/51779 -- I've been away for my son's wedding and consequently
> haven't picked up or applied anything recently.
>
>