Git 1.7.5.1

It has been a week and half since 1.7.5 was done.

There was a rather nasty smart-HTTP bug in 1.7.5 (the bug itself was a lot older, but a change in 1.7.5 made it a lot easier to trigger) but hopefully that is now fixed.