Andrew's git / gitweb.git / diff
?
Merge branch 'jc/mailinfo-RE' into maint
authorJunio C Hamano <gitster@pobox.com>
Thu, 20 Sep 2012 22:55:03 +0000 (15:55 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 20 Sep 2012 22:55:03 +0000 (15:55 -0700)
* jc/mailinfo-RE:
mailinfo: strip "RE: " prefix

Trivial merge