DISQLite3
5.8.3
Bug fix and optimization release.