Andrew's git / gitweb.git / diff
?
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