Hello everyone,

I think I have just found a bug in Git which basically occurs when I run `git log HEAD` in a detached HEAD state.
To reproduce it, just run
$ git init
$ touch tmp
$ git add tmp
$ git commit -m "tmp"
$ git checkout <commit_sha>
$ git branch HEAD
Segmentation fault (core dumped)

My version of git is the following
$ git --version
git version

If that helps (and even if it doesn't actually), I'm running ubuntu 13.04 64-bit.

Benoît Legat
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to