Re: Releasing groff 1.22.5?

[Bertrand Garrigues]

Hi Werner,

On Sat, Oct 10 2020 at 05:34:02 PM, Werner LEMBERG <wl@gnu.org> wrote:
>> My main argument against that is a selfish one.  Somebody would have
>> to go through all the Savannah tickets that are marked as fixed in
>> 1.22.5 and change them.
>
> Simply change the name of the label, and you are done.  Internally, an
> ID gets used that is independent of the label name.

Done, works fine.

Just a question on the version though: We are talking about 1.23 and not
1.23.0, and I see that we also had a 1.22 version (not a 1.22.0), is
there a particular reason to omit the patch number if it is equal to 0?

Regards,
Bertrand