Merge branch 'maint'
commit77b598b438e51d45229fe945e2139a7789a150bc
authorJunio C Hamano <gitster@pobox.com>
Mon, 26 Nov 2012 22:12:07 +0000 (26 14:12 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 26 Nov 2012 22:12:07 +0000 (26 14:12 -0800)
tree258fc8e1e307d9e4e54741823f382246d3ca1103
parentf7d8e3d01f46ecfa5b4bc8c13640831d97a78236
parentd1eded46fa5ed350ff52654103623090101b3ba6
Merge branch 'maint'

* maint:
  Fix typo in remote set-head usage
  Makefile: hide stderr of curl-config test
Makefile