Merge branch 'da/gitk-reload-tag-contents' into maint-1.7.11
authorJunio C Hamano <gitster@pobox.com>
Sat, 15 Sep 2012 03:45:55 +0000 (20:45 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sat, 15 Sep 2012 03:45:55 +0000 (20:45 -0700)
commitf463cc5306dd25844195b167aee4e5642e3bad16
treec2f3f523b51349175f8eb5691f2bf05e47f91053
parent67117596173cc49b0ca4b8b5739c5fd794a7022a
parent587277fea3bf3bfc4302480178bd88a277a69f05
Merge branch 'da/gitk-reload-tag-contents' into maint-1.7.11

* da/gitk-reload-tag-contents:
  gitk: Rename 'tagcontents' to 'cached_tagcontent'
  gitk: Teach "Reread references" to reload tags
  gitk: Avoid Meta1-F5
gitk-git/gitk