20 Sep
2006
20 Sep
'06
3:53 p.m.
2006/9/20, Frando (Franz Heinzmann) <frando@xcite-online.de>:
This issue is about clarifying which head we are talking about for future generations. So why not just "4.7 HEAD" or "5.0 HEAD"? It would contract to something cutesie like 4.7H, 5.0H of course.
Again, as 5 people already stated, until 3 weeks ago we didn't know wether what is now known as 5.0 would be 4.8 or 5.0.
How about last stable realse plus H/HEAD then? 4.7H would be the current HEAD.