Glenn Morris <rgm@gnu.org> schrieb am So., 7. Mai 2017 um 03:25 Uhr:

We have a diffs mailing list, so you don't need to send your patches to
two other mailing lists as well.

Yes, I just wanted to have my patch reviewed before committing, but since it broke bootstrapping I decided to install it without review.