On Thu, Dec 1, 2022 at 6:42 AM Philippe Altherr
<philippe.altherr@xxxxxxxxx> wrote:
>
> https://zsh.sourceforge.io/Doc/Release/Options.html#index-ERRRETURN.
Will that doc remain correct with respect to what it says about
ERR_EXIT after recent patches are considered?
(Still on my TODO list, have been busier than I expected so far this week.)