On Mon, Sep 11, 2017 at 10:03 PM, Brian Kantor Brian@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