Subject: Re: bug#46826: [debian] compilation from git fails
From: Ludovic Courtès <[email-masked]>
To: cage <[email-masked]>
Cc: [email-masked], Maxime Devos <[email-masked]>
Date: Mon, 01 Mar 2021 21:40:33 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi!

I pushed a slightly different fix as
9ce78f27a02b3a5fcaea2f0633404b940795989a.

Thanks,
Ludo’.