Re: Fatal trap on HEAD while doing nothing special

[Antonio Huete Jimenez]

As I said in the subject, it was a fatal trap, not a panic.
I paniced to get the dump.