]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.0'
authorXinchen Hui <laruence@gmail.com>
Tue, 12 Jul 2016 03:52:21 +0000 (11:52 +0800)
committerXinchen Hui <laruence@gmail.com>
Tue, 12 Jul 2016 03:52:21 +0000 (11:52 +0800)
commit0478e431cfa24476f6eed1cfbf30250c549aa59d
treecf68417baa8d99155aafcca09a755041ac05c67a
parent1ba20e311e4f9046c192f9cc23cdaaf04ec5fa70
parent42902919bc0f97977e116415c9968dc6b23b12d2
Merge branch 'PHP-7.0'

* PHP-7.0:
  Fixed bug #72581 (previous property undefined in Exception after deserialization)

Conflicts:
Zend/zend_exceptions.c
Zend/zend_exceptions.c