Hi, I'm removing all the tags that Dmitry added by mistake. Please take care by not putting them back! This might require you to delete those tags locally as well. There is a handy script:
for i in `git tag -l | grep PHP-`; do git tag -d $i; done cheers, Derick -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php