Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
tool_progress: avoid division by zero in parallel progress meter
Reported-by: Brian Carpenter Fixes #9082
- Loading branch information