[PATCH] gitk: start-up bugfix
-rwxr-xr-x 138228 gitk