[MLton] commit logs

Stephen Weeks MLton@mlton.org
Mon, 17 Nov 2003 08:54:11 -0800


> Could we set up the commit procedure so that a MAIL line is kept in the
> permanent log?

Done.