rm DelayedProgressHandler
The intention of DelayedProgressHandler was to reduce the frequency of thread locks. The potential advantage of this does not justify the overengineered solution. Reimplement in simpler ways if deemed useful.
The intention of DelayedProgressHandler was to reduce the frequency of thread locks. The potential advantage of this does not justify the overengineered solution. Reimplement in simpler ways if deemed useful.
enabled an automatic merge when the pipeline for 5efab722 succeeds
merged
mentioned in commit aabb7e86