<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#000000">Replies embedded below.<br></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#000000"> <br></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#000000"></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><span style="font-family:verdana,sans-serif"><font size="2">Hartmut W Sager - Tel +1-204-339-8331<br></font></span><br></div></div></div></div></div></div></div></div></div></div></div></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 31 Mar 2020 at 01:06, Trevor Cordes <<a href="mailto:trevor@tecnopolis.ca">trevor@tecnopolis.ca</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 2020-03-31 Hartmut W Sager wrote:<br>
> > If I tell mailman to send me a copy too,<br>
> > then I'll always get 2 copies.  <br>
> <br>
> Except if you're using Gmail as your infrastructure (like I am).<br>
> Gmail only posts the message once when it recognizes the unique<br>
> Message-ID as duplicated, even if the multiple messages come into<br>
> "To" and/or "cc" via different target e-mail addresses (which is<br>
> often my case).<br>
> <br>
> I hate to make Gmail look good, especially when I started this "bash<br>
> Gmail" thread, but hey, they do a few things right.  (Like labels!)<br>
<br>
Good one Hartmut! :-)  However, the key to the dedupe is your MUA would<br>
have to eliminate the one that addresses you personally, and keep the<br>
one from the mailing list.  I doubt gmail is *that* smart, or<br>
configurable (as some people would prefer to get the personal one<br>
instead!).</blockquote><div><br></div><div><div style="font-family:verdana,sans-serif;font-size:small;color:rgb(0,0,0)" class="gmail_default">You're right, Gmail is definitely not <b>that</b> smart, and is not at all configurable in any way even approaching such a wish.<br></div></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I bet what gmail is doing is just throwing away the 2nd one<br>
it sees (temporally), which in many cases (like my greylisted system)<br>
is going to be random.<br></blockquote><div><br></div><div><div style="font-family:verdana,sans-serif;font-size:small;color:rgb(0,0,0)" class="gmail_default">Probably.  And here's worse:  Sometimes, when I've posted to our RoundTable, Gmail doesn't even bring anything into my Inbox, because those round-trip items match the sent item in my Sent label.  Furthermore, it doesn't replace the sent item with one of the incoming 
round-trip items either, so I can't see the full header (of at least one 
round-trip item) to see the routing and the SPF/DKIM/DMARC results (which was highly relevant earlier on in this very thread).<br></div></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">

But... you did give me an idea... I could procmail something up that<br>
will look at (hopefully id'able) mailing list emails (whether private<br>
or mailman-sent), delay sending the first it sees (will procmail<br>
happily let a handler script sleep?), see if there's a second, then<br>
pick the one that is mailman-generated over the personal one (and<br>
deliver the 1st/only one if a 2nd never comes in a reasonable amount of<br>
time).  Voila.<br></blockquote><div><br></div><div><div style="font-family:verdana,sans-serif;font-size:small;color:rgb(0,0,0)" class="gmail_default">Great idea!  A good exercise for an eager student.<br></div></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">

Try a procmail rule with gmail!  ;-)<br></blockquote><div><br></div><div style="font-family:verdana,sans-serif;font-size:small;color:rgb(0,0,0)" class="gmail_default">Ha ha!</div><div style="font-family:verdana,sans-serif;font-size:small;color:rgb(0,0,0)" class="gmail_default"></div></div></div>