Subject: [bug#55227] [PATCH core-updates 0/8] The Full Source Bootstrap

From: Ludovic Courtès <[email-masked]>
Date: Sat, 14 May 2022 16:10:27 +0200

"Jan (janneke) Nieuwenhuizen" <[email-masked]> skribis:

> +@node Full-source Bootstrap
> +@section The Full-source Bootstrap

Nitpick: I think that would be “Full-Source Bootstrap” in title case.  :-)