From: "jgart" <[email-masked]>
To: [email-masked]
Date: Sat, 04 Jan 2025 00:58:44 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Closing since redacted. Feel free to reopen if interested in working more on hare.

all best,

jgart