Subject: bug#46826: [debian] compilation from git fails

From: cage <[email-masked]>
Date: Tue, 2 Mar 2021 20:39:11 +0100

On Mon, Mar 01, 2021 at 09:40:33PM +0100, Ludovic Courtès wrote:
> Hi!

Hi!

>
> I pushed a slightly different fix as
> 9ce78f27a02b3a5fcaea2f0633404b940795989a.

FWIW the compilation works just fine! :)

> Thanks,

You're welcome!
C.