On Wed, 3 Dec 2008, Gerwin Klein wrote: > I'm no great friend of $Id$, but Tjark does have a point: we release > development snapshots and it is very easy to confuse versions when > people ask questions about specific files etc.
People should be able to say which release they are using. For the development snapshot the release name is the id of the changeset that makedist encountered as "tip". If anybody uses the repository directly, not a release, then "hg tip" will provide that information. Makarius