[MLton] Cygwin->Mingw32: patch + future

Henry Cejtin henry@sourcelight.com
Tue, 23 Nov 2004 14:28:50 -0600


Right you are.  Sorry.