On Tue, 2008-04-15 at 21:51 +0900, Tatsuo Ishii wrote: > > Thanks for guiding me. I'm going to make patches in a few days. > BTW, the problem I'm talking about does not seem to exist in the bug > database.
Then open a new ticket - that's what the bug tracker is for. :-) johannes -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
