Commit 67553581 by FritzFlorian

Fix locking bug in high-level stealing.

The lock was not released when an split_task was executed. We did a dirty fix by allowing the method to unlock the lock itself, but this has to be done cleaner in the future.
parent cbdc5e4f
Pipeline #1116 passed with stages
in 3 minutes 16 seconds