]> granicus.if.org Git - php/commitdiff
Merge branch '5.3' into 5.4
authorGustavo André dos Santos Lopes <cataphract@php.net>
Wed, 23 May 2012 13:52:32 +0000 (15:52 +0200)
committerGustavo André dos Santos Lopes <cataphract@php.net>
Wed, 23 May 2012 13:52:32 +0000 (15:52 +0200)

Trivial merge