Sync with maint
authorJunio C Hamano <gitster@pobox.com>
Mon, 19 Nov 2012 03:48:31 +0000 (19:48 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 19 Nov 2012 03:48:31 +0000 (19:48 -0800)

Trivial merge