Sync with maint
authorJunio C Hamano <gitster@pobox.com>
Thu, 17 Oct 2013 22:54:28 +0000 (17 15:54 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 17 Oct 2013 22:54:28 +0000 (17 15:54 -0700)
Signed-off-by: Junio C Hamano <gitster@pobox.com>

Trivial merge