> Unless we hear anything damning from Suresh, I think that sometime > tomorrow, we should freeze our CVS and do the switch to SourceForge. > The only downside that I have been convinced of is its potential > disappearance, and I don't think that would be too painful (especially > with CVS backups and mlton.org redirection). Fine by me. I've got no outstanding modifications.