Code

[PATCH] gitk: allow goto heads