Subject: Close
From: Andreas Enge <[email-masked]>
To: [email-masked]
Date: Wed, 5 Feb 2025 21:58:59 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

This has been pushed as commit daab8d5c79ca45719d21cd00567d79fadc7c2f8e,
thanks!

Andreas