On Wed 2017-10-11 08:04:05 -0300, David Bremner wrote: > "W. Trevor King" <[email protected]> writes: > >> If somebody has copies of those messages, can they push them up into >> the mbox? Maybe they went to the freelists list [3]? Maybe they were >> off-list? Maybe they just missed inclusion in the mbox? > > It's likely that they were sent to the freelists list. I don't know of > an easy way to add them to the archive on notmuchmail.org, but I'm open > to ideas.
if you have them locally, what if you were to just "bounce" them to the mailing list right now? that is, pipe them individually into "sendmail [email protected]" the worst that happens is that some folks get a second copy of those messages, but if they're using notmuch they won't care :) --dkg _______________________________________________ notmuch mailing list [email protected] https://notmuchmail.org/mailman/listinfo/notmuch
