On Aug 5, 2013, at 9:30 PM, Marvin Humphrey <[email protected]> wrote:
> If nobody objects, I'm going to start deleting the tags for release > candidates from our git repository. I also plan to add RC tag > deletion to the post-VOTE sequence in release_commands.pl. I have no objection, but tags are cheap. What’s the point? Best, David
