Merge branch 'jc/mailinfo-RE' into maint
commit96c2abea02ac36337eafcbd1cd1e208257b2dbf9
authorJunio C Hamano <gitster@pobox.com>
Thu, 20 Sep 2012 22:55:03 +0000 (20 15:55 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 20 Sep 2012 22:55:03 +0000 (20 15:55 -0700)
tree8e166bcbacc8c58909cf2f2caf63e408f575d66f
parentee70fb8e4a66eebb1799e3f28fe31ed8e48c84cf
parentd5b4d80d1cc056d5cc4a18f457133b2de8fc685a
Merge branch 'jc/mailinfo-RE' into maint

* jc/mailinfo-RE:
  mailinfo: strip "RE: " prefix