Subject: Close
From: Andreas Enge <[email-masked]>
To: [email-masked]
Cc: Luca Cirrottola <[email-masked]>
Date: Mon, 31 Mar 2025 16:06:42 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

thanks for the patch! I have pushed it after adapting the commit message
to our coding standards.

Andreas