Merge pull request #11224 from sartura/sqlite3-update
authorJosef Schlehofer <pepe.schlehofer@gmail.com>
Mon, 3 Feb 2020 18:32:30 +0000 (19:32 +0100)
committerGitHub <noreply@github.com>
Mon, 3 Feb 2020 18:32:30 +0000 (19:32 +0100)
sqlite3: update to version 3.31.1


Trivial merge