drh 8075cc17d3 Merge recent fixes from trunk.
FossilOrigin-Name: 9f8191d1d833acaaf612fdff8cc6bd544c042986
2013-10-28 22:39:53 +00:00
..
2012-06-21 15:09:20 +00:00
2012-06-06 23:59:36 +00:00