Subject: closing #24789
From: zimoun <[email-masked]>
To: [email-masked], [email-masked], Ludovic Courtès <[email-masked]>
Date: Wed, 13 May 2020 01:38:49 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Dear,

Because this bug is more than 3 years old, tagged moreinfo and without
any answer by the submitter since 12 weeks, I am closing.

Best regards,
simon