Fix Windows closed-pipe errors in Git source-pin fallback - #4686

Fix Windows closed-pipe errors in Git source-pin fallback#4686

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

mihir-s-05:fix/windows-git-batch-closed-pipemihir-s-05/integer-mult-bounds:fix/windows-git-batch-closed-pipeCopy head branch name to clipboard