From: Dave Gurnell (d.j.gurnell at gmail.com) Date: Mon Sep 8 10:48:33 EDT 2008 |
|
On 8 Sep 2008, at 15:42, Matthew Flatt wrote: > 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. Thanks! I have a feeling this will catch a few bugs in my code :) -- Dave
Posted on the users mailing list. |
|