Changes to ticket 874d5360fc

By drh on 2008-11-10 21:13:49. See also: artifact content, and ticket history

1. Appended to comment:

   ---

   drh added on 2008-11-10 21:13:49:
   Fixed by check-in c66ffba6da.

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