Hmm, I think all occurrences of "5.10" could be replaced with "this
version", which would avoid the problem of knowing what the future version
number will be.

Philippe


On Mon, Dec 12, 2022 at 5:28 PM Bart Schaefer <schaefer@brasslantern.com>
wrote:

> On Mon, Dec 12, 2022 at 8:08 AM Philippe Altherr
> <philippe.altherr@gmail.com> 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 ?
>