From: "jgart" <[email-masked]>
To: [email-masked]
Date: Tue, 18 Jun 2024 06:07:33 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

I'm closing for now.

Feel free to reopen if anyone wants to work on this.