[PATCH] gitk: bind <F5> key to Update (reread commits)
-rwxr-xr-x 175088 gitk