Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch 'da/mergetool-winmerge'
Hotfix for an earlier change already in 'master' that broke the default tool selection for mergetool. * da/mergetool-winmerge: mergetool-lib: fix default tool selection
- Loading branch information