Hi internals, I've submit a PR (https://github.com/php/php-src/pull/2220) to fix a bug ( https://bugs.php.net/bug.php?id=73581).
Kalle suggested I run the change by here to see if there are any concerns or feedback about merging this? Thanks for your time, Craig
