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