Re: [opensuse-buildservice] Linux scheduler bugs