[PATCH] Prevent git-rev-list --merge-order producing duplicates in the output