]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.2'
authorJoe Watkins <krakjoe@php.net>
Tue, 25 Jul 2017 05:54:29 +0000 (06:54 +0100)
committerJoe Watkins <krakjoe@php.net>
Tue, 25 Jul 2017 05:54:29 +0000 (06:54 +0100)
* PHP-7.2:
  minor loop optimizations, closes #2633

1  2 
ext/mysqli/mysqli.c
ext/mysqli/mysqli_api.c

Simple merge
Simple merge