Changes to ticket 40df1ced7e

By drh on 2009-06-25 12:54:02. See also: artifact content, and ticket history

1. Appended to comment:

   ---

   drh added on 2009-06-25 12:54:02:
   Fixed by check-in 2554ba460dd8b56

2. Change resolution to "Fixed"
3. Change status to "Fixed"