Merge enhancements from trunk, especially the CLI fixes.
commit6ecf88fac72a807f6f60744bc54c7cc670e10c25
authorD. Richard Hipp <drh@hwaci.com>
Fri, 18 May 2018 17:17:36 +0000 (18 17:17 +0000)
committerD. Richard Hipp <drh@hwaci.com>
Fri, 18 May 2018 17:17:36 +0000 (18 17:17 +0000)
tree09f892b68942abc46654c138a91c407c6c62bf7d
parent50eb26317ff3c6cdc93f3ac9a4c37200e090d6d1
parent7ba84731f0e472d02c6c2c6173f50edd47671d89
Merge enhancements from trunk, especially the CLI fixes.