El 08/08/12 15:38, Pierre Joye escribió: > hi Chirstian! > > Could you please either (or both :) open a bug and attach the patch to > it or create a pull request please?
I opened a pull request a few minutes ago., https://github.com/php/php-src/pull/154 Cheers ! -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php