Pin that killing a diff tool actually kills it - #780

Pin that killing a diff tool actually kills it#780

SimonCropp merged 2 commits into

mainVerifyTests/DiffEngine:mainfrom

pin-diff-tool-killVerifyTests/DiffEngine:pin-diff-tool-killCopy head branch name to clipboard