[GiNaC-devel] git

[Jens Vollinga]

Hi,

I think I want to repair the dates of the tags in git. It just doesn't 
look to good with all the unknown dates (I also want to fix 
relase->release). But I am not 100% sure what that would mean for the 
other people here (would they have to delete and fetch every single tag 
manually, clone again, do nothing, ...). So, I just wanted to ask 
whether there are some objections or better ideas. I have already fix 
release_0-5-0 as a show case.

Regards,
Jens