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

[John Stultz]

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.

thanks again!
-john