mirror of
https://github.com/php/php-src.git
synced 2026-04-14 19:41:05 +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).