]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.1' into PHP-7.2
authorRemi Collet <remi@php.net>
Thu, 30 Aug 2018 07:04:13 +0000 (09:04 +0200)
committerRemi Collet <remi@php.net>
Thu, 30 Aug 2018 07:04:13 +0000 (09:04 +0200)
commit6e703c957ebd939b8d5f0693b0fd3894e385617e
tree5a09d3f1fb65a7686506f1f9de00a741bfb32d09
parentfd5a453cb9976af6f1f9e1a72135c03804f208f6
parentc1729272b17a1fe893d1a54e423d3b71470f3ee8
Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  fix double cast to int on 32-bit
Zend/zend_operators.c