Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rename "Task progress reporting" to "Operation ..."
The functionality described there is not related to tasks as such. It shows the progress of a specified operation invoked via GUI (that happens to run in the context of a task).
- Loading branch information