]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-5.5'
authorDmitry Stogov <dmitry@zend.com>
Tue, 30 Jul 2013 18:04:55 +0000 (22:04 +0400)
committerDmitry Stogov <dmitry@zend.com>
Tue, 30 Jul 2013 18:04:55 +0000 (22:04 +0400)
* PHP-5.5:
  A minor fix for configure outpu (Tony)


Trivial merge