Fix scheduler steal policy
Set scheduler
steal policy from engine
policy.
Solves #347 (closed).
Merge request reports
Activity
mentioned in issue #347 (closed)
Reassigned to @nnrw56
@nnrw56 any reasons against this change?
@matthieu, nope! Sorry, haven't been very responsive in the past few days, hope to get some more work done soon!
Reassigned to @matthieu
mentioned in commit bac1b1dd
Please register or sign in to reply