<div class="gmail_quote">On Tue, Jan 17, 2012 at 5:21 PM, Didier Verna <span dir="ltr"><<a href="mailto:didier@lrde.epita.fr" target="_blank">didier@lrde.epita.fr</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">


but then, after a reset --hard HEAD and a new pull, I indeed got more<br>
changes. Sorry for the noise.<br></blockquote></div><br>No problem. Please continue reporting any problem or inconsistency you may find<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>