]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2'
authorDmitry Stogov <dmitry@zend.com>
Mon, 4 Sep 2017 13:50:31 +0000 (16:50 +0300)
committerDmitry Stogov <dmitry@zend.com>
Mon, 4 Sep 2017 13:50:31 +0000 (16:50 +0300)
commit3c377c9859a52b202f4fa977ab9c1a719b3a8784
treee70f6700fb5e000041a2c096f8a7a6252d33d174
parent1830e3c43cb06644c594c59525fc0668d9b33be7
parenteb21300a26e3999c3b9eb76906e92d111e0c7f15
Merge branch 'PHP-7.2'

* PHP-7.2:
  Revert "Fixed incorrect optimizaton (update of jump instructions should be also reflected in CFG update)"