Hi internals! One of my old PRs to PHP that was claimed to be merged disappeared from master. However, the upgrade note is still there in master and 7.4beta1.
Here is the PR: https://github.com/php/php-src/pull/937 Here is the commit referencing it: https://github.com/php/php-src/commit/0adfa03397edcde8cba3bae2032b1f2ef26ea760 Please let me know if there's anything I can do to help. Regards, -- Guilherme Blanco SVP Technology at Statflo Inc. Mobile: +1 647 232 5599 -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php