Re: [Pharo-users] GitFileTree-MergeDriver and using it with git mergetool