Merge branch 'dp/remove-duplicated-header-inclusion' into maint
commitbe2804c49eb19e11578d60218575aca07792bc94
authorJunio C Hamano <gitster@pobox.com>
Thu, 5 Mar 2015 21:12:55 +0000 (5 13:12 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 5 Mar 2015 21:12:55 +0000 (5 13:12 -0800)
tree42bd43dded23ee62429b547dc13efb5864166c9c
parent552f6994d2650f5940b98ff52679ee63959027f9
parent5d308512ffde7efa6b5aad9549320b394b79b740
Merge branch 'dp/remove-duplicated-header-inclusion' into maint

Code clean-up.

* dp/remove-duplicated-header-inclusion:
  do not include the same header twice