]> granicus.if.org Git - php/commitdiff
Merge branch 'patch-mysqli-todo' of https://github.com/petk/php-src
authorXinchen Hui <laruence@gmail.com>
Sat, 30 Sep 2017 04:23:14 +0000 (12:23 +0800)
committerXinchen Hui <laruence@gmail.com>
Sat, 30 Sep 2017 04:23:14 +0000 (12:23 +0800)
* 'patch-mysqli-todo' of https://github.com/petk/php-src:
  Remove done and old TODO file from ext/mysqli


Trivial merge