]> granicus.if.org Git - php/commit
Merge branch 'master' of git.php.net:php-src
authorDmitry Stogov <dmitry@zend.com>
Tue, 16 Jan 2018 07:34:15 +0000 (10:34 +0300)
committerDmitry Stogov <dmitry@zend.com>
Tue, 16 Jan 2018 07:34:15 +0000 (10:34 +0300)
commitd7f3b9b4e9dfab3bff8bece4fa38ff6a20877df2
tree9ae076e384d8bc1d1840205dd0ee068f32cbc885
parent267b78550e14ffa47206645fbd74471c6dbaeaac
parent3cb7fff9f1e2efdd3042682bc14a481bea3e0d44
Merge branch 'master' of git.php.net:php-src

* 'master' of git.php.net:php-src:
  Added missed header file
  Added ZEND_API zend_cpu_supports