]> granicus.if.org Git - php/commitdiff
Merge branch 'pull-request/473'
authorSara Golemon <pollita@php.net>
Thu, 26 Sep 2013 20:24:08 +0000 (13:24 -0700)
committerSara Golemon <pollita@php.net>
Thu, 26 Sep 2013 20:24:08 +0000 (13:24 -0700)

Trivial merge