mailing list problems

[Stephen Weeks]

Something has gone wrong with the SourceForge mailing lists.
SourceForge is not accepting mail to
MLton-{devel,user}@lists.sourceforge.net.  So, I set up a temporary
fix, MLton-devel@mlton.org, which is an alias to the current members
of MLton-devel@lists.sourceforge.net.  Mail to MLton@mlton.org is
currently being forwarded there (after passing through my spam
filter), so we should be able to continue discussion as usual.  More
impetus for me setting up my own mailman at mlton.org.