Subject: Re: [PATCH] doc: Document the documentation process.
From: jgart <[email-masked]>
To: [email-masked]
Cc: Ludovic Courtès <[email-masked]>, jgart <[email-masked]>, Luis Felipe <[email-masked]>, Maxim Cournoyer <[email-masked]>, zimoun <[email-masked]>
Date: Sat, 29 Jun 2024 01:52:44 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi all,

I'm closing this issue since it looks like Maxim merged a commit a while
ago resolving it. Thanks!

all best,

jgart