Thanks Henri. Sadly, when I tried that, it filtered nothing at all, just the same as the issue I originally reported. Probably a gmail problem with filtering on the List-Id, as they don't have proper support for matching it in filters, only searches.
Thank you, Thomas On Tue, Aug 13, 2013 at 10:54 AM, Henri Verbeet <hverb...@gmail.com> wrote: > On 13 August 2013 17:23, Bruno Jesus <00cp...@gmail.com> wrote: > > My filters are still working fine, probably they are configured the > > same as yours: > > > > Matches: to:(wine-devel@winehq.org) > > Do this: Skip Inbox, Apply label "WineDevel", Never send it to Spam > > > > Matches: from:(wine-b...@winehq.org) > > Do this: Skip Inbox, Apply label "WineDevel", Never send it to Spam > > > In case anyone finds this useful, you'll generally want to filter > mailing lists based on the List-Id header. >