Re: Fwd: ddp build failed

Holger Wansing <[email protected]> Wed, 29 Oct 2025 23:02:48 +0100

Newsgroups	gmane.linux.debian.devel.documentation
Message-ID	<[email protected]>

Hi,

Pablo Lucas Silva Santos <[email protected]> wrote (Wed, 29 Oct 2025 11:28:43 -0300):
> Hi,
> 
> I'm sorry for not testing the PDF build before opening the MR.
> 
> The issues.po file has been fixed, make ran successfully, and a grep 
> check shows no new invalid characters.

I pushed that to git now.
Thanks

Holger