Time bug is kernel bug, not MLton

Henry Cejtin henry@sourcelight.com
Mon, 16 Jul 2001 18:35:58 -0500


I haven't poked the person for the fix because I wanted to see if it was still
in 2.4.6, and it seems from Rico's test (he has it installed) that it is
fixed there.  I haven't downloaded it myself yet to look at the source, but
he couldn't get it to fail.