]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2'
authorDmitry Stogov <dmitry@zend.com>
Thu, 20 Jul 2017 20:29:44 +0000 (23:29 +0300)
committerDmitry Stogov <dmitry@zend.com>
Thu, 20 Jul 2017 20:29:44 +0000 (23:29 +0300)
commit36259e259378abdd58b156a83a3cc3a0ff2e3f75
tree411192511c9727a36f799164c060b52bd3af038c
parent1d6bae99921018066d635079c3d64ed138b4833e
parent0b2c456312f5d318664ca6616a7d9820eaa7d60f
Merge branch 'PHP-7.2'

* PHP-7.2:
  fixed comments
  Fixed wrong edges_count re-calculation.