Thanks, Zack; this did the trick. Thanks also for your suggestion, Andy, but I already had "Don't override filters" checked.
--APB On Fri, Oct 25, 2013 at 9:24 PM, Zack (Doc) <[email protected]> wrote: > To search for a label in a filter, use the "Has the words:" box and > something like "label:muted"... it will give you a warning that it won't > work, but it will. > > > On Fri, Oct 25, 2013 at 11:53 AM, APB <[email protected]> wrote: > >> I belong to several high-traffic groups on Facebook, and am set to get >> notifications by email. The groups' notifications share a particular label. >> >> I want to see the first notice of a thread in my Inbox, but then I mute >> the conversation so that I can see further comments when I have time. >> >> However, new notifications for existing threads are still coming to my >> Inbox. They carry the label "Muted", but ... >> >> I know that Gmail will disregard muting for messages in which one's >> personal address appears in the TO or CC field, but all of these are TO the >> Facebook groups' addresses. >> >> I thought of creating a filter that would archive messages that carry the >> labels "XYZ" and "Muted", but don't see a way to do that. (In fact, I >> don't see how to create any filter using a label as a criterium.) >> >> Any suggestions would be appreciated! >> >> --APB >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Gmail-Users" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To post to this group, send email to [email protected]. >> Visit this group at http://groups.google.com/group/gmail-users. >> For more options, visit https://groups.google.com/groups/opt_out. >> > > -- > You received this message because you are subscribed to the Google Groups > "Gmail-Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/gmail-users. > For more options, visit https://groups.google.com/groups/opt_out. > -- You received this message because you are subscribed to the Google Groups "Gmail-Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/gmail-users. For more options, visit https://groups.google.com/groups/opt_out.
