"Adam D. Barratt" <[email protected]> writes: > On Mon, 2009-02-09 at 16:27 -0800, Russ Allbery wrote:
>> You can delete the tag and retag. You're theoretically not supposed to >> do this in Git, but given that you just made the mistake, I wouldn't >> worry too much about it. No one will have a tree based on that tag >> already. > Thanks; fixed, retagged and uploaded. (and apologies for the hiccup). No problem at all. Thank you very much for the upload! -- Russ Allbery ([email protected]) <http://www.eyrie.org/~eagle/> -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

