]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-5.5'
authorDavid Soria Parra <dsp@php.net>
Mon, 24 Jun 2013 15:44:04 +0000 (17:44 +0200)
committerDavid Soria Parra <dsp@php.net>
Mon, 24 Jun 2013 15:44:04 +0000 (17:44 +0200)
* PHP-5.5:
  Notify doc team BEFORE we release


Trivial merge