mirror of
https://github.com/php/php-src.git
synced 2026-04-20 06:21:12 +02:00
* PHP-7.4: Fixed bug #79536 (zend_clear_exception prevent exception's destructor to be called).
* PHP-7.4: Fixed bug #79536 (zend_clear_exception prevent exception's destructor to be called).