Daniel Kahn Gillmor <dkg@fifthhorseman.net> writes: > On Wed 2017-10-11 08:04:05 -0300, David Bremner wrote: >> "W. Trevor King" <wking@tremily.us> 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 > notmuch@notmuchmail.org" > > 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 :) I can try, but I seem to recall mailman being hostile to bounces before. d _______________________________________________ notmuch mailing list notmuch@notmuchmail.org https://notmuchmail.org/mailman/listinfo/notmuch