]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorDmitry Stogov <dmitry@zend.com>
Mon, 8 Apr 2019 22:11:02 +0000 (01:11 +0300)
committerDmitry Stogov <dmitry@zend.com>
Mon, 8 Apr 2019 22:11:02 +0000 (01:11 +0300)
commit8e5a2096a92d472fbe47547dac4659a2556f446d
tree368f12b6e62f135daa2263127bcefba64832e8b6
parenta90ac8b5b2266b5de25bf3d06147e7d791c87fad
parent7b8212f4d119b1f055238b183092249a022a7841
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Repare SWITCH VM
Zend/zend_vm_gen.php