On Wed, 09 May 2007 11:19:06 +0200 Kai Grossjohann <kai.grossjohann at verizonbusiness.com> wrote: > For the record: This has been fixed in the most recent sources from > darcs. Yes, we fixed a few key bugs mere days after the 0.1 release :(. We should think about getting 0.2 out soon. Cheers, Spencer Janssen