[MLton] commit logs

Matthew Fluet fluet@cs.cornell.edu
Mon, 17 Nov 2003 11:29:16 -0500 (EST)


Could we set up the commit procedure so that a MAIL line is kept in the
permanent log?  Some of the logs without the MAIL line are a little
context-less.