[ jEdit-devel ] Shooting the Gmail filter problem

[Kazutoshi S. <k_s...@f2...>]

For Gmail users on list:
Please help to get reliable contacts with Vampire.

Vampire wrote:
> 2012/6/14 Kazutoshi Satoda<k_s...@f2...>
>> Isn't it possible to set a filter that check To and CC of all mails
>> unconditionally?
> Nope, unfortunately not. Therefore the filter mechanism is too intelligent
> again. The mails that are only sent to the list also match the filter
> "to:Vampire@jEdit.org"  because that is the address the list mail is
> forwarded to and is found in a "Delivered-To" header. So I'd match all the
> list mails with that and I didn't find a good solution to this up to now.
> :-(

"to:" operator matches also with "Delivered-To", really? Sounds like a
bug. But I could find no such rants via some searches on internet. For
example:
http://www.google.com/search?q=gmail+filter+"to"+"Delivered-To"
Instead I found some claims from who couldn't get a filter to match
with "Delivered-To". There is a dedicated operator "deliveredto:".

However, I remembered an relevant option of mailman. You can find it via
this URL: https://lists.sourceforge.net/lists/options/jedit-devel
> Avoid duplicate copies of messages? (Yes/No)
> When you are listed explicitly in the To: or Cc: headers of a list
> message, you can opt to not receive another copy from the mailing list.
> Select Yes to avoid receiving copies from the mailing list; select No
> to receive copies.
>
> If the list has member personalized messages enabled, and you elect to
> receive copies, every copy will have a X-Mailman-Copy: yes header added
> to it.

After setting "Yes" for this option, you don't receive duplicate mails
and won't be bothered with merging by Message-ID. Can this help?

-- 
k_satoda