Merge pull request #7734 from micmac1/master-sqlite-maint
authorchamptar <[email protected]>
Thu, 20 Dec 2018 18:07:04 +0000 (19:07 +0100)
committerGitHub <[email protected]>
Thu, 20 Dec 2018 18:07:04 +0000 (19:07 +0100)
sqlite3: change maintainer


Trivial merge