On Tue, 19 Sep 2023, Mark Wielaard wrote: >> Although there were some positive responses (on list and on irc) it is >> sometimes hard to know if there really is consensus for these kind of >> infrastructure tweaks. But I believe there is at least no sustained >> opposition to changing the gcc-patches mailman setting as proposed >> above. > This change is now done for gcc-patches.
Yeah, yeah, yeah. Thank you! >> And if there are no complaints at Cauldron we could do the same for >> the other patch lists the week after. Sadly I missed Cauldron - have there been any complaints there? Can you adjust the g...@gcc.gnu.org list and others @gcc.gnu.org as well? I for one would love to see that. Thanks, Gerald
