Increase the version number to 3.7.1 due to the API enhancement of the previous
check-in. FossilOrigin-Name: 1d7571e4be6d96aec13cd8b3b7b10b8dc44d19a5
D
drh committed
d2de9f4e6802d0f3c847a6f1dd5aa49a0eef70fb
Parent: 89ae102
check-in. FossilOrigin-Name: 1d7571e4be6d96aec13cd8b3b7b10b8dc44d19a5