Subject: Re: [bug#62622] [PATCH 0/8] Update proj and a few other geo packages
From: Guillaume Le Vaillant <[email-masked]>
To: Felix Gruber <[email-masked]>
Cc: [email-masked]
Date: Wed, 12 Apr 2023 10:09:27 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Patches pushed as dd1aebe148de77c098f2b430f6b7ef99d4416000 and
following, with a fixed commit message for patch 4.
Thanks.