* Sébastien Dugué [off-list ref] wrote:

  Hi Ingo, Thomas,

  this one-liner fixes a bug in balance_rt_tasks() which sometimes 
manifests by having a lower prio task being scheduled while a higher 
prio task is sitting waiting on another runqueue.

  This is pretty hard to reproduce on low cpu count machines, for 
example, I had to have sched_football run in a loop for ~38h before it 
failed on a dual HT Xeon box.

really nice catch! Applied.

	Ingo