Changes to ticket 8d073be880
By drh on 2009-09-10 23:01:15. See also: artifact content, and ticket history
- Appended to comment:
drh added on 2009-09-10 23:01:15:
Fixed by check-in aeaee1f38512181e. - Change resolution to "Fixed"
- Change status to "Fixed"