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

Closing this since this ticket is way out of date.

all best,

jgart