From: paul <[email-masked]>
To: [email-masked]
Date: Mon, 30 Dec 2024 16:48:10 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Sorry this  was opened by mistake, I'm closing it. Apologies for the noise.