Merge branch 'ss/git-gui-mergetool'