* Richard Earnshaw: > On 09/03/2020 10:30, Florian Weimer wrote: >> * Richard Bradfield: >> >>> It appears that since the migration (or whatever happened on the list >>> over the weekend), the List-Id header is also being stripped from >>> outbound mail. The last GCC mail I have where the header is intact was >>> from Friday 6th. >> >> There weren't any List-Id headers before the migration. > > Yes there were (either that or the filters I've been using for years > were psychic!)
Oh, right. They were added in 2006, after I had set up my filters apparently. 8-/ So the difference is List-Id: <gcc.gcc.gnu.org> vs List-Id: Gcc mailing list <gcc.gcc.gnu.org> I guess now you need to perform a substring match.