Re: [PHP-DEV] [patch] bug 45808

2009-10-12 Thread Pierre Joye
hi, Can you add the link to the bug itself please? We won't loose it thebn :) Thanks for your work, On Mon, Oct 12, 2009 at 8:55 PM, Vincent NEGRIER wrote: > Hi everyone, > > I have made a patch to fix this bug: http://bugs.php.net/bug.php?id=45808 > > Diff against 5.3.0 is here: http://si.kz/p

[PHP-DEV] [patch] bug 45808

2009-10-12 Thread Vincent NEGRIER
Hi everyone, I have made a patch to fix this bug: http://bugs.php.net/bug.php?id=45808 Diff against 5.3.0 is here: http://si.kz/php-bug-45808.diff.txt As far as I have tested, everything works as expected with this patch applied. Can someone with karma please review it and apply to HEAD and/o