[MLton-devel] MLton-discuss@sourcelight.com --> MLton-user@mlton.org

[Henry Cejtin]

Done.

_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel