[Ecls-list] git commit id (fixed)

[Juan Jose Garcia-Ripoll]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/ecl-devel/attachments/20111113/c3b95d61/attachment.html>