Skip to content

intelligently handle older version of git in bootstrap#60379

Merged
bors merged 1 commit intorust-lang:masterfrom
froydnj:bootstrap-progress-fixes
May 2, 2019
Merged

intelligently handle older version of git in bootstrap#60379
bors merged 1 commit intorust-lang:masterfrom
froydnj:bootstrap-progress-fixes

Commits

Commits on Apr 29, 2019