Hi, Preuß[email protected], Hilmar <[email protected]> wrote (Sat, 15 Apr 2023 13:02:36 +0200): > > I have prepared a patch, to update versions. > > > I've no clue how the documentation is built, but I guess all other > languages are affected too...
Sure, translations have the same wrong numbers. But changing them in English will also show the updated versions in all translations too, so no problem. Holger -- Holger Wansing <[email protected]> PGP-Fingerprint: 496A C6E8 1442 4B34 8508 3529 59F1 87CA 156E B076
