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

Closing this ticket. 

Feel free to reopen if anyone is interested in investigating it further.

all best,

jgart