Changes to ticket 9de95186e6

By drh on 2009-09-13 11:06:15. See also: artifact content, and ticket history

1. Appended to comment:

   ---

   drh added on 2009-09-13 11:06:15:
   This is a duplicate of ticket 71c9b46198c04 and has already been fixed by check-in ee47021f51fa7b81b on 2009-09-10.

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