Austin, I think you put me on the right track. I had that disabled. I enabled it and disabled it again, which caused unintended interface changes. That forced me into the main settings for the priority inbox (not gmail settings). There, I found a radio button that was enabled by default apparently about overriding filters for important messages. I disabled that. Hopefully this will no longer be a problem.
Thank you, Thomas On Tue, Aug 13, 2013 at 12:38 PM, Austin English <austinengl...@gmail.com>wrote: > On Tue, Aug 13, 2013 at 8:57 AM, Thomas Spear <speeddy...@gmail.com> > wrote: > > 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. > > The recent Gmail changes for bulk/social network notifications/etc. > email may be the cause: > > http://gmailblog.blogspot.com/2013/05/a-new-inbox-that-puts-you-back-in.html > > -- > -Austin >