gitk: Cope better with getting commits that we have already seen
tree7a2b99c2f6222663857c65795e32f0fd86c47be3
-rw-r--r-- 1549 Makefile
-rwxr-xr-x 257099 gitk
drwxr-xr-x - po