Merge branch 'jk/chopped-ident' into maint
commit30e8180b271c9e111fe99442b78a4b249b29e073
authorJunio C Hamano <gitster@pobox.com>
Fri, 26 Apr 2013 18:11:51 +0000 (26 11:11 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 26 Apr 2013 18:11:51 +0000 (26 11:11 -0700)
tree7740be4ba344d98adaf5fe9834f5d1d3ec74f127
parent0222bc91022cdd6f6b87afb4d01bbac964d05702
parentde5abe9fe91a496d019d62abefe23df9d72fad30
Merge branch 'jk/chopped-ident' into maint

* jk/chopped-ident:
  blame: handle broken commit headers gracefully
  pretty: handle broken commit headers gracefully
  cat-file: print tags raw for "cat-file -p"