]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-5.4' into PHP-5.5
authorRasmus Lerdorf <rasmus@php.net>
Thu, 20 Dec 2012 04:00:41 +0000 (23:00 -0500)
committerRasmus Lerdorf <rasmus@php.net>
Thu, 20 Dec 2012 04:00:41 +0000 (23:00 -0500)

Trivial merge