Re: translations still referencing obsolete documentation

[Thomas Lange <lange@cs.uni-koeln.de>]

>>>>> On Sat, 17 Jun 2023 11:13:42 +0200, Holger Wansing <hwansing@mailbox.org> said:

    > You could have done this by yourself easily, instead of waiting and waiting 
    > months for others.
Hi Holger,

thanks for doing this.
I know, I could do it myself. But I was not sure if it's OK to make
changes without checking and updating the translation headers in
ddp.wml. That's why I asked the translators for deciding this.
Next time I will be braver and do it myself.

-- 
regards Thomas