Detect git version before attempting to use --progress#71559
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 30, 2020
Merged
Detect git version before attempting to use --progress#71559bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
