Should I have opened a BUG report instead ? It's just an one line patch...
Let me know if I need to open a BUG report.

Regards,

Cristiano Duarte

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to