Merge branch 'cb/filter-branch-prune-empty-degenerate-merges'
authorJunio C Hamano <gitster@pobox.com>
Wed, 16 Jul 2014 18:29:06 +0000 (11:29 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 16 Jul 2014 18:29:06 +0000 (11:29 -0700)
"filter-branch" left an empty single-parent commit that results when
all parents of a merge commit gets mapped to the same commit, even
under "--prune-empty".

* cb/filter-branch-prune-empty-degenerate-merges:
filter-branch: eliminate duplicate mapped parents

Trivial merge