Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:76545 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 68802 invoked from network); 15 Aug 2014 09:51:15 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 15 Aug 2014 09:51:15 -0000 Authentication-Results: pb1.pair.com header.from=derick@php.net; sender-id=unknown Authentication-Results: pb1.pair.com smtp.mail=derick@php.net; spf=unknown; sender-id=unknown Received-SPF: unknown (pb1.pair.com: domain php.net does not designate 82.113.146.227 as permitted sender) X-PHP-List-Original-Sender: derick@php.net X-Host-Fingerprint: 82.113.146.227 xdebug.org Linux 2.6 Received: from [82.113.146.227] ([82.113.146.227:34591] helo=xdebug.org) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id F8/E3-48767-318DDE35 for ; Fri, 15 Aug 2014 05:51:15 -0400 Received: from localhost (localhost [IPv6:::1]) by xdebug.org (Postfix) with ESMTPS id D2DDE1DAB64 for ; Fri, 15 Aug 2014 10:51:12 +0100 (BST) Date: Fri, 15 Aug 2014 10:51:12 +0100 (BST) X-X-Sender: derick@whisky.home.derickrethans.nl To: PHP Developers Mailing List Message-ID: User-Agent: Alpine 2.11 (DEB 23 2013-08-11) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Subject: Fixing the tags From: derick@php.net (Derick Rethans) 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