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 <austinenglish@gmail.com> wrote:

On Tue, Aug 13, 2013 at 8:57 AM, Thomas Spear <speeddymon@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 <hverbeet@gmail.com> wrote:
>>
>> On 13 August 2013 17:23, Bruno Jesus <00cpxxx@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-bugs@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