Merge pull request #13148 from r00ster91/progressfollowup

fix(std.Progress): some follow-ups
cb257d59f9Andrew Kelley committed on 10/14/2022, 6:43:34 PM· committed by GitHubparentsf5f28e0ab4e696
1 file changedLine totals unavailable