Changes to ticket 9c378ed139

By drh on 2008-10-31 13:35:08. See also: artifact content, and ticket history

1. Appended to comment:

   ---

   drh added on 2008-10-31 13:35:08:
   Fixed by check-in 1d280a85aa

2. Change priority to "Immediate"
3. Change resolution to "Fixed"
4. Change status to "Fixed"