Subject: Re: [bug#68925] [PATCH 0/8] Update proj to 9.3.1.
From: Guillaume Le Vaillant <[email-masked]>
To: Felix Gruber <[email-masked]>
Cc: [email-masked]
Date: Wed, 07 Feb 2024 17:35:48 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patches applied as 4c1a7678b2d0ef801ae1ac03af449db3ab9fe9bc and
following.
Thanks.