12 Sep
2017
12 Sep
'17
5:06 p.m.
On Mon, Sep 11, 2017 at 10:03 PM, Brian Kantor <Brian(a)ucsd.edu> wrote:
Groups.io has no mechanism for uploading the archives
of the mailing
list, which go back to 2009 and which I think are valuable.
Brian,
Check this out:
https://beta.groups.io/g/main/topic/194673
Sounds like they can import mbox format manually.
Tom