Re: [PATCH] gitk: Rename 'tagcontents' to 'cached_tagcontent'

I've applied these two, on top of Paul's master branch at

    git://ozlabs.org/~paulus/gitk.git

and tentatively queued in 'pu', but I would prefer to see it
eyeballed by and queued in his tree first.

Thanks.