Commit 822d9dd51f8f2567766c38b719d9d6d5bdc1cfa0

Ben Straub 2012-07-11T09:50:12

Remove duplicate of git_repository_head_tree.