Uwe Stöhr wrote: > I don't know why we store the hash/commit number in FORMAT, but there must > be a reason why this was once decided to do so. Maybe JMarc knows this.
There was never discussion about this IIRC. Looking back in commit history, its just that Edwin once used it and others followed (not so long ago). There is really no good reason why to cripple git commits in order to push commit identifier into this file. Pavel