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 :)

        --dkg
_______________________________________________
notmuch mailing list
notmuch@notmuchmail.org
https://notmuchmail.org/mailman/listinfo/notmuch