On Tue, Oct 2, 2018 at 11:51 PM Rafael J. Wysocki <[email protected]> wrote: > > Hi All, > > This series fixes a couple of issues with the menu governor, optimizes it > somewhat and makes a couple of cleanups in it. Please refer to the > patch changelogs for details. > > All of the changes in the series are straightforward in my view. The > first two patches are fixes, the rest is optimizations and cleanups.
I'm inclined to take this stuff in for 4.20 if nobody has problems with it, so please have a look if you care (and you should, because the code in question is run on all tickless systems out there). Thanks, Rafael
