Subject: Close
From: Andreas Enge <[email-masked]>
To: [email-masked]
Date: Sat, 6 Jul 2024 12:59:14 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

This has been applied to master as commit ad7505d16f882e69926008a22f9c12c37b32f4ee .
Closing the bug.

Thanks,

Andreas