Merge branch 'jk/cat-file-batch-optim'
authorJunio C Hamano <gitster@pobox.com>
Fri, 2 Aug 2013 16:32:48 +0000 (09:32 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 2 Aug 2013 16:32:48 +0000 (09:32 -0700)
* jk/cat-file-batch-optim:
Revert "cat-file: split --batch input lines on whitespace"

Trivial merge