Subject: Re: bug#37818: [PATCH] Various FAQ updates

From: Stefan Kangas <[email-masked]>
Date: Thu, 24 Oct 2019 01:10:50 +0200

Stefan Kangas <[email-masked]> writes:
> Lars Ingebrigtsen <[email-masked]> writes:
> > Looks good to me.  That incident is not something that's frequently
> > asked about.
>
> Thanks.  I'll wait a couple days to see if anyone else has something
> to add before I push it.

No one seemed to have any further comments.  I've therefore pushed
this to master as commit 61223a046c3.

Best regards,
Stefan Kangas