On Saturday 26 February 2011, Ralf Wildenhues wrote:
> * Stefano Lattarini wrote on Sat, Feb 26, 2011 at 02:54:09PM CET:
> > Fine with me.  This is the additional squash-in -- on the top of the old
> > one, since I had already commited that locally :-(
> 
> Don't worry, I do such junk commits all the time.  You could
>   git diff HEAD@{2}
> 
> or some similar command, based on 'git reflog' output.
>
Thanks for the suggestion; I keep forgetting the usefulness of the
`reflog' command (or its very existence) ...

> > I will push in 72 hours if there are no further objections.
> 
> Feel free to go ahead.
> 
OK, attached is what I pushed.  Note that it is slightly different
from my last posted version, because also the call to aclocal can
fail with older libtools.  I should have tested better before
submitting the previous diff; sorry for the noise.

Thanks,
  Stefano