gitk: Fix bug in fix for warning when removing a branch
treeceb35340dd460691cf55c0523766fa82741910d3
-rwxr-xr-x 213488 gitk