projects / php / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9b2c26b dbb0ed0)
Merge branch 'master' of https://git.php.net/repository/php-src
authorChristopher Jones <sixd@php.net>
Wed, 7 Oct 2015 09:27:40 +0000 (20:27 +1100)
committerChristopher Jones <sixd@php.net>
Wed, 7 Oct 2015 09:27:40 +0000 (20:27 +1100)
* 'master' of https://git.php.net/repository/php-src:
  Fixed test running on MarinaDB.


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.