On Mon, Dec 12, 2022 at 8:08 AM Philippe Altherr
<philippe.altherr@xxxxxxxxx> wrote:
>
> Here is an updated patch to document the ERR_EXIT and ERR_RETURN changes.
Thanks.
> + echo "This is printed only since 5.10."
For the group: More likely to be 5.9.1 ?