]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.0'
authorDmitry Stogov <dmitry@zend.com>
Thu, 14 Jul 2016 19:39:15 +0000 (22:39 +0300)
committerDmitry Stogov <dmitry@zend.com>
Thu, 14 Jul 2016 19:39:15 +0000 (22:39 +0300)
* PHP-7.0:
  Fixed bug #72286 (Segmentation fault During Garbage Collection)


Trivial merge