<span class="gmail_quote">2006/9/20, Frando (Franz Heinzmann) <<a href="mailto:frando@xcite-online.de">frando@xcite-online.de</a>>:</span><br><div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
> This issue is about clarifying which head we are talking about for<br>> future generations. So why not just "4.7 HEAD" or "5.0 HEAD"?<br>> It would contract to something cutesie like 4.7H, 5.0H
of course.<br><br>Again, as 5 people already stated, until 3 weeks ago we didn't know<br>wether what is now known as 5.0 would be 4.8 or 5.0.<br><br></blockquote></div><br>How about last stable realse plus H/HEAD then? 4.7H
would be the current HEAD.<br>