]> granicus.if.org Git - php/commitdiff
Merge remote-tracking branch 'refs/remotes/origin/PHP-5.5' into PHP-5.5
authorMichael Wallner <mike@php.net>
Mon, 21 Oct 2013 10:23:01 +0000 (12:23 +0200)
committerMichael Wallner <mike@php.net>
Mon, 21 Oct 2013 10:23:01 +0000 (12:23 +0200)
* refs/remotes/origin/PHP-5.5:
  Fixed compilation warning


Trivial merge