]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.4'
authorAnatol Belski <ab@php.net>
Wed, 13 Feb 2019 02:38:15 +0000 (18:38 -0800)
committerAnatol Belski <ab@php.net>
Wed, 13 Feb 2019 02:38:15 +0000 (18:38 -0800)
* PHP-7.4:
  Change the way timer queue timer is deleted

1  2 
Zend/zend_execute_API.c

Simple merge