Subject: Re: bug#72257: Non-English manuals for 1.4.0 are unavailable

From: "pelzflorian (Florian Pelz)" <[email-masked]>
Date: Sun, 28 Jul 2024 09:35:04 +0200

The manual builds now.  Closing.

(I had miscalculated how long it takes, but thanks if someone intervened
and initiated the build.)

Regards,
Florian