Merge the fix for ticket [d02e1406a58ea02] into trunk.
FossilOrigin-Name: dd34bec389359845b86f4cc4906ab440f92dcab9
D
drh committed
90abfd086fd8feb9d95fe7e222b6c3289886ee6a
Parent: 5a05be1
FossilOrigin-Name: dd34bec389359845b86f4cc4906ab440f92dcab9