Code

git-gui: Ensure consistent usage of mergetool.keepBackup