Subject: Re: [bug#40944] doc: Fix building the cookbook

From: Björn Höfling <[email-masked]>
Date: Sat, 2 May 2020 13:29:28 +0200

On Sat, 02 May 2020 13:05:00 +0200
Ludovic Courtès <[email-masked]> wrote:

> Hi Björn,
> 
> Björn Höfling <[email-masked]> skribis:
> 
> > Fixes <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=40803>.
> > Reported by "operator.name" <[email-masked]>.
> >

> LGTM!
> Thanks,
> Ludo’.

Thanks,

pushed as 7c65fc378cf68b598965fd977f5844050435ac97.

Björn