]> granicus.if.org Git - php/commit
Merge branch 'master' of git.php.net:php-src
authorDmitry Stogov <dmitry@zend.com>
Tue, 17 Mar 2015 23:17:12 +0000 (02:17 +0300)
committerDmitry Stogov <dmitry@zend.com>
Tue, 17 Mar 2015 23:17:12 +0000 (02:17 +0300)
commitfa1c05540c69fac5158ade2d8c321690ad6e5669
treebe123588d56939f1bd98a42e4bc8672a78089eaf
parentd6bb5c2cd48b9df0a3a7c19843ca2d5e6703f55d
parentb3788cd20075a68972113947211d3bdf0d38a13e
Merge branch 'master' of git.php.net:php-src

* 'master' of git.php.net:php-src:
  this check isn't applicable anymore