]> granicus.if.org Git - php/commitdiff
Merge branch 'master' of git.php.net:/php-src
authorJoe Watkins <krakjoe@php.net>
Thu, 12 Jan 2017 09:24:47 +0000 (09:24 +0000)
committerJoe Watkins <krakjoe@php.net>
Thu, 12 Jan 2017 09:24:47 +0000 (09:24 +0000)
* 'master' of git.php.net:/php-src:
  Update to SQLite 3.16.2


Trivial merge