Changes to ticket 31bd22c31f

By drh on 2009-08-15 16:51:33. See also: artifact content, and ticket history

1. Appended to comment:

   ---

   drh added on 2009-08-15 16:51:33:
   Fixed in 74f7f6e6ad30a5

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