]> granicus.if.org Git - git/commitdiff
Merge branch 'jk/chopped-ident' into maint
authorJunio C Hamano <gitster@pobox.com>
Fri, 26 Apr 2013 18:11:51 +0000 (11:11 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 26 Apr 2013 18:11:51 +0000 (11:11 -0700)
* jk/chopped-ident:
  blame: handle broken commit headers gracefully
  pretty: handle broken commit headers gracefully
  cat-file: print tags raw for "cat-file -p"


Trivial merge