On 24 Mar 2023, Geert Uytterhoeven uttered the following: > I (still) agree with that, and I saw similar comments from others as well. > Unfortunately these comments are spread across tens of threads :-( Ugh. Should I do this sort of thing in one big commit next time? That would fix that problem, but at the cost of others. Lumping seems to me to be troublesome because it makes it harder to accept/reject different bits, but would it be *as* troublesome as this much splitting? -- NULL && (void)
