Subject: Close
From: Andreas Enge <[email-masked]>
To: [email-masked]
Date: Wed, 9 Aug 2023 10:04:52 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Closing an old bug report, as it is unlikely we will receive more info.

Andreas