Hello Andi, Saturday, August 20, 2005, 3:31:53 AM, you wrote:
> Dmitry commited the updated instanceof to HEAD. I suggest to merge it into > PHP_5_1 as many want it and it's an extremely low risk patch. > If people object, we can put it into 5.1.1. > So you see, I am not as stubborn as some assumed :) You're only hard to convince :-) Best regards, Marcus -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
