]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-5.3' into PHP-5.4
authorDavid Soria Parra <dsp@php.net>
Sun, 10 Jun 2012 14:17:49 +0000 (18:17 +0400)
committerDavid Soria Parra <dsp@php.net>
Sun, 10 Jun 2012 14:17:49 +0000 (18:17 +0400)
* PHP-5.3:
  Make travis silent


Trivial merge