Re: [GIT PULL] scheduler changes for v5.3

[Ingo Molnar]

* John Stultz <john.stultz@xxxxxxxxxx> wrote:

> On Wed, Jul 10, 2019 at 3:57 AM Peter Zijlstra <peterz@xxxxxxxxxxxxx> wrote:
> >
> > Urgh.. however didn't we find that before :/ stupid stats.
> >
> > Something like the below ought to fix, but let me see if I can come up
> > with something saner...
> 
> Yep. This works for me, but let me know if you have anything else you
> want me to test as well.

No, that's perfect, will get this fix to Linus ASAP, thanks for the help!

	Ingo