Subject: Re: Update
From: Guillaume Le Vaillant <[email-masked]>
To: André A. Gomes <[email-masked]>
Cc: [email-masked]
Date: Thu, 09 Nov 2023 14:40:27 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patches applied as 9b03e84e4efb2ef58b6f91fd550acf6914646bac and
following.
Thanks.