Subject: Close
From: Andreas Enge <[email-masked]>
To: [email-masked]
Date: Tue, 1 Apr 2025 23:54:00 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Patch applied as commit
   78e139fd6edc6cc60f7f39bd1231f0d2cf795576
closing. Thanks!

Andreas