Re: [PATCH] Drop unused RoundRobinScheduler



On 1 August 2014 07:14, Christoph Brill <egore911 gmail com> wrote:
Hi Kai,

find the patch attached.

Pushed, thanks.

Kai


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]