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 ?