]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.1'
authorDmitry Stogov <dmitry@zend.com>
Tue, 6 Dec 2016 07:01:38 +0000 (10:01 +0300)
committerDmitry Stogov <dmitry@zend.com>
Tue, 6 Dec 2016 07:01:38 +0000 (10:01 +0300)
commita722970033a8dabb5956625e89655b8eacc38e3a
tree7cc0d9e79c03f1651c7f8d2e1034e4c123bd9c09
parentfe084168d0e7de28dc0efdd58635748de414ac9e
parent547b735d3477f7493a835ed68ca618fa74731b88
Merge branch 'PHP-7.1'

* PHP-7.1:
  Micro optimizations
Zend/zend_vm_def.h
Zend/zend_vm_execute.h