<div dir="ltr">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.</div>

<div class="gmail_extra"><br clear="all"><div>Thank you,<br><br>Thomas</div>
<br><br><div class="gmail_quote">On Tue, Aug 13, 2013 at 10:54 AM, Henri Verbeet <span dir="ltr"><<a href="mailto:hverbeet@gmail.com" target="_blank">hverbeet@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im">On 13 August 2013 17:23, Bruno Jesus <<a href="mailto:00cpxxx@gmail.com">00cpxxx@gmail.com</a>> wrote:<br>
> My filters are still working fine, probably they are configured the<br>
> same as yours:<br>
><br>
> Matches: to:(<a href="mailto:wine-devel@winehq.org">wine-devel@winehq.org</a>)<br>
> Do this: Skip Inbox, Apply label "WineDevel", Never send it to Spam<br>
><br>
> Matches: from:(<a href="mailto:wine-bugs@winehq.org">wine-bugs@winehq.org</a>)<br>
> Do this: Skip Inbox, Apply label "WineDevel", Never send it to Spam<br>
><br>
</div>In case anyone finds this useful, you'll generally want to filter<br>
mailing lists based on the List-Id header.<br>
</blockquote></div><br></div>