Hi,
Sorry if this is not the right address to report bugs. I'm following
https://stackoverflow.com/questions/10728104/where-can-i-report-a-git-bug/10733251#10733251

Cheers
Gabriel Fürstenheim