Until recently, ECL computed a unique identifier corresponding to the git repository using .git/ORIG_HEAD. It turns out that this is wrong. Now ECL uses .git/log/HEAD which contains a history of commits. I hope this will provide a more accurate information when producing bug reports.

Juanjo

--
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
http://juanjose.garciaripoll.googlepages.com