Hi Derick,
Le 24/10/2015 12:56, Derick Rethans a écrit :
Oh really? I thought it was :-) I think I must have hacked my local
version and promptly forgot about it. I still think this should be
committed.
Sorry, after investigating more, it appears that your patch *was* commited.
Now, I must find why it is not working in my case. If I find something
to fix, I'll send a patch.
Regards
François
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
