Re: commits for possible 5.9.1

>
> i've pushed our tentative 5.9.1 patch set to the zsh-5.9-patches branch
>

Any chance workers/54374 <https://zsh.org/workers/54374> could be included?
It has not been committed yet, but it's a patch I would really like to see
in an upcoming release. Or do you think that this patch is anyway
incompatible with your criteria?

Another small one that would be nice to have is workers/53005
<http://zsh.org/workers/53005>.

Philippe