diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2022-12-01 18:05:49 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-01 18:05:49 -0500 |
| commit | 05469fc38225adb9e58c003327b17917c2ef9e41 (patch) | |
| tree | a3dc4aa0a23ae90aefb1526732a2d584b03907bb /ops/optimizer.rs | |
| parent | 1615852025f87433a217877489f47a12c45dc497 (diff) | |
fix(upgrade): respect the `--quiet` flag (#16888)
Also, use `ProgressBar` for upgrading.
Diffstat (limited to 'ops/optimizer.rs')
0 files changed, 0 insertions, 0 deletions