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

Reply via email to