]> git.lizzy.rs Git - rust.git/commitdiff
Merge #2422
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Tue, 26 Nov 2019 21:02:32 +0000 (21:02 +0000)
committerGitHub <noreply@github.com>
Tue, 26 Nov 2019 21:02:32 +0000 (21:02 +0000)
2422: Use a simple progress bar instead of indicatif r=maklad a=edwin0cheng

![pb](https://user-images.githubusercontent.com/11014119/69669230-6a3d5a80-10cc-11ea-8ad7-4dccb10349c9.gif)

Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>

Trivial merge