Subject: Re: [bug#38108] [PATCH] doc: Fix typos.

From: zimoun <[email-masked]>
Date: Mon, 2 Dec 2019 13:57:50 +0100

Hi,

Friendly ping. :-)
Because the doc is moving forward and so some extra work will be
required to push this boring patch.

On Mon, 11 Nov 2019 at 21:52, zimoun <[email-masked]> wrote:

> @Julien: Please tell me if it is annoying and I will participate, to
> reduce the annoyance. At least for the French translation.

For full context:
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=38108

Cheers,
simon