]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.0' of https://git.php.net/repository/php-src into PHP-7.0
authorChristopher Jones <sixd@php.net>
Wed, 7 Oct 2015 09:27:38 +0000 (20:27 +1100)
committerChristopher Jones <sixd@php.net>
Wed, 7 Oct 2015 09:27:38 +0000 (20:27 +1100)
* 'PHP-7.0' of https://git.php.net/repository/php-src:
  Fixed test running on MarinaDB.


Trivial merge