Remove a mutex reference leak from sqlite3_reoptimize().
FossilOrigin-Name: 9f0937066184421f23453ceb451fd726c75cb593
D
dan committed
85a48dfd71c67bf078dc13b792d06d5020d6a46b
Parent: 937d0de
FossilOrigin-Name: 9f0937066184421f23453ceb451fd726c75cb593