Ludo',

Oh, I just replied to close this bug since it was easily (if 
slowly) worked around by using an intermediate commit.

Ludovic Courtès wrote:
> Often there’s a more useful hint above; could you paste the 
> missing bits
> that came just before?  :-)

Heh.  Nope.  Managed to overwrite the log file with unexpected 
success.

Thanks,

T G-R