]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.0' into PHP-7.1
authorDmitry Stogov <dmitry@zend.com>
Tue, 30 May 2017 21:40:57 +0000 (00:40 +0300)
committerDmitry Stogov <dmitry@zend.com>
Tue, 30 May 2017 21:40:57 +0000 (00:40 +0300)
* PHP-7.0:
  Fixed wrong condition

1  2 
ext/opcache/Optimizer/pass1_5.c

Simple merge