Commit 310c33d2 by Florian Fritz

Merge branch 'random_stealing' into 'master'

Merge: Randomized Work Stealing

See merge request !6
parents 9c12addf 52fcb51f
Pipeline #1142 passed with stages
in 3 minutes 33 seconds