|
| From: | Jan Nieuwenhuizen |
| Subject: | [bug#55227] [PATCH core-updates 0/8] The Full Source Bootstrap |
| Date: | Sat, 14 May 2022 22:36:33 +0200 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Ludovic Courtès writes: > "Jan (janneke) Nieuwenhuizen" <janneke@gnu.org> skribis: > >> +@node Full-source Bootstrap >> +@section The Full-source Bootstrap > > Nitpick: I think that would be “Full-Source Bootstrap” in title case. :-) Yes, you're right, thanks. Fixed!
| [Prev in Thread] | Current Thread | [Next in Thread] |