bootstrap.py: change git log
option to indicate desired behavior#87513
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 28, 2021
Merged
bootstrap.py: change `git log` option to indicate desired behavior#87513bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom