Subject: Re: [bug#57687] [PATCH 0/9] Update proj to 9.0.1.
From: Guillaume Le Vaillant <[email-masked]>
To: Felix Gruber <[email-masked]>
Cc: [email-masked]
Date: Sun, 11 Sep 2022 14:08:01 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patches pushed as 3eeb67c5d9594b3e2ff41ab95183d3ca51a0d893 and
following.
Thanks.