Subject: Close
From: Andreas Enge <[email-masked]>
To: [email-masked]
Date: Sat, 29 Jun 2024 11:57:54 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

I have just pushed the commit with tiny changes to the commit message,
the synopsis and the description.

Thanks!

Andreas