Merge branch 'da/gitk-reload-tag-contents' into maint-1.7.11