[darcs-users] Old tag?

Max Battcher me at worldmaker.net
Sun Nov 15 23:22:07 UTC 2009


On 11/15/2009 16:13, Simon Michael wrote:
> For the record I think this is a significant downside of converting and
> should be warned about during the convert process if not already.

In my experience darcs only does this "old tag" conversion for the most 
recent tag (others should be unaffected). I don't think it is a 
"necessary" conversion, and I bet it could be "fixed", but I'm not sure 
if it needs to be.

--
--Max Battcher--
http://worldmaker.net


More information about the darcs-users mailing list