On 25 November 2016 at 07:54, Craig Duncan <p...@duncanc.co.uk> wrote:
> 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). > It sounds like opinions are divided on this, I'll draft an RFC including the other instances Christoph mentioned
