Subject: Re: [PATCH core-updates] gnu: po4a: Update to 0.72.
From: gemmaro <[email-masked]>
To: [email-masked]
Date: Wed, 14 Aug 2024 00:46:59 +0900
List-Id: <debbugs-submit.debbugs.gnu.org>

I'm closing this since it has been pushed as
bc17a2454a0ce6445ab26f6878cba859d29252ac.

Thank you,
gemmaro.