From: Matthew Flatt (mflatt at cs.utah.edu) Date: Mon Sep 8 10:42:14 EDT 2008 |
|
At Mon, 8 Sep 2008 07:16:13 -0600, Matthew Flatt wrote: > Yes, that should have been an error [...] I'll fix the bug soon. Fixed in SVN.
Posted on the users mailing list. |
|