Merge branch 'va/i18n' of ../git-gui into va/git-gui-i18n