Subject: Re: bug#72257: Non-English manuals for 1.4.0 are unavailable
From: "pelzflorian (Florian Pelz)" <[email-masked]>
To: Ludovic Courtès <[email-masked]>
Cc: [email-masked], Julien Lepiller <[email-masked]>, Maxim Cournoyer <[email-masked]>
Date: Sun, 28 Jul 2024 09:35:04 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

The manual builds now.  Closing.

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

Regards,
Florian