<div>I&#39;d like to bring up the topic of handing off the administration of <a href="http://mlton.org">mlton.org</a></div><div>(mail, web, svn), so I can stop maintaining the current <a href="http://mlton.org">mlton.org</a> server.  This</div>

<div>is by no means urgent, but I simply do not have time to do a good job of</div><div>maintaining the server which is becoming more and more stale.  I&#39;d like to</div><div>transfer before the lack of good administration bites us.</div>

<div><br></div><div>Options are to go to another server maintained by someone else, or to use hosted</div><div>solutions for individual services.  I lean toward the latter.  Whatever we do, I</div><div>think it would be good to get something that we believe will work for at least a</div>

<div>5-year time frame.</div><div><br></div><div>Thoughts?  Volunteers?</div><div><br></div>