You've only just changed these. I'm not going to go to the wall over it
tho. I just don't like the fact Miguel took the name, even if he managed
to popularize it.
I was never a contributor to emacs or much of one for the Linux kernel,
so I never registered a complaint.
Anyway, I've finished my objection at this point. :(
On 7/30/22 22:36, Bruno Haible wrote:
I have also updated the public documentation on www.gnu.org. The sections
that changed regarding 'bootstrap' are:
https://www.gnu.org/software/gnulib/manual/html_node/VCS-Issues.html
https://www.gnu.org/software/gnulib/manual/html_node/Developer-tools.html