Subject: Re: bug#65759: Bug
From: Josselin Poiret <[email-masked]>
To: Sjors Provoost <[email-masked]>, [email-masked]
Date: Thu, 07 Sep 2023 10:34:39 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Oops, forgot to close.  Feel free to re-open if something was missing.

Best,
-- 
Josselin Poiret