Subject: Re: bug#41038: [PATCH] doc: Reword "The GCC toolchain".

From: zimoun <[email-masked]>
Date: Fri, 15 May 2020 18:59:29 +0200

Hi Ludo,

Friendly ping to avoid the tiny patch falls in the cracks.

Thanks,
simon