unread
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