Hi, Preuße...@buxtehude.debian.org, Hilmar <hill...@web.de> 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 <hwans...@mailbox.org> PGP-Fingerprint: 496A C6E8 1442 4B34 8508 3529 59F1 87CA 156E B076