Fix breakage in git-rev-list.txt