Re: Please pull gitk.git master branch

Paul Mackerras [off-list ref] writes:

OK, I re-did the top commit using the lowercase name.  Please do a
git pull -f to get the new version of that commit.

Thanks.  Will do.