Changes to ticket cdd360438d

By drh on 2009-09-13 16:21:13. See also: artifact content, and ticket history

1. Appended to comment:

   ---

   drh added on 2009-09-13 16:21:13:
   The patch shown above turns out to work. Fixed by check-in 42bf80978d9740dbac8c762033348fbb1da9b0de.

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