Use 7-Zip to unzip SDK, if available. (#8721)
Windows' built-in unzippers are painfully slow. It drives me mad! Unzip SDK with 7-Zip: ~10s Unzip SDK with Windows: ~90s
M
Michael Goderbauer committed
7ede6b530e4b1285613ff8dea22690c4a2919faa
Parent: 5d29737
Committed by GitHub <noreply@github.com>
on 3/10/2017, 11:21:08 PM