]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-5.3' into PHP-5.4
authorRasmus Lerdorf <rasmus@php.net>
Fri, 14 Dec 2012 00:54:31 +0000 (16:54 -0800)
committerRasmus Lerdorf <rasmus@php.net>
Fri, 14 Dec 2012 00:54:31 +0000 (16:54 -0800)

Trivial merge