bug#46826: [debian] compilation from git fails

[cage]

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.