Details
Description
SequentialSubTasksDone has some machinery to reset itself automatically after all tasks were claimed.
This is not used at all and can/should be removed.
This is not used at all and can/should be removed.