mingw: terminate child processes in a gentler way#2130

dscho wants to merge 2 commits into

gitgitgadget:mastergitgitgadget/git:masterfrom

dscho:mingw-kill-gentledscho/git:mingw-kill-gentleCopy head branch name to clipboard