Right. It seems the other situations that caused the bug to
appear have closed, but I still intend to apply your patch as soon as I
have a spare moment. Thanks. :)

PHP Development Mailing List <>
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
To contact the list administrators, e-mail: [EMAIL PROTECTED]

Reply via email to