Subject: Close issue
From: paul <[email-masked]>
To: [email-masked]
Date: Mon, 15 Jan 2024 01:05:10 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

This issue was opened by mistake, apologies for the noise.