Hi Werner, On Sat, Oct 10 2020 at 05:34:02 PM, Werner LEMBERG <w...@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