On 13-05-23 4:51 PM, Steven Bosscher wrote:
Ping**2

Steven, sorry for the delay. The patch is ok. Thanks for better documentation too. We need it as the scheduler is becoming more and more complicated.

Reply via email to