Give the host-side kill of a WSL tool time to finish - #953

Give the host-side kill of a WSL tool time to finish#953

SimonCropp merged 2 commits into

mainVerifyTests/DiffEngine:mainfrom

wsl-kill-timeoutVerifyTests/DiffEngine:wsl-kill-timeoutCopy head branch name to clipboard