Merge pull request #7734 from micmac1/master-sqlite-maint
authorchamptar <champetier.etienne@gmail.com>
Thu, 20 Dec 2018 18:07:04 +0000 (19:07 +0100)
committerGitHub <noreply@github.com>
Thu, 20 Dec 2018 18:07:04 +0000 (19:07 +0100)
sqlite3: change maintainer


Trivial merge