[MLton] 20051202 on Debian build failures

Stephen Weeks MLton@mlton.org
Tue, 6 Dec 2005 09:21:39 -0800


> |t's also possible that the build got preempted by something more
> important.  I say give it another day or so, then we'll
> complain. :-)

I didn't realize the build would rerun again without human
intervention.