Merge branch 'maint'
authorJunio C Hamano <gitster@pobox.com>
Mon, 26 Nov 2012 22:12:07 +0000 (14:12 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 26 Nov 2012 22:12:07 +0000 (14:12 -0800)
* maint:
  Fix typo in remote set-head usage
  Makefile: hide stderr of curl-config test

1  2 
Makefile

diff --cc Makefile
Simple merge