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.<div>

<br></div><div>Juanjo<br clear="all"><div><br></div>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a><br>


</div>