Re: [PATCH v9 00/13] support "task_isolation" mode for nohz_full

* Chris Metcalf [off-list ref] wrote:

Ping!  There has been no substantive feedback to this version of
the patch in the week since I posted it, which optimistically suggests
to me that people may be satisfied with it.  If that's true, Frederic,
I assume this would be pulled into your tree?

We are right before (and into) the merge window, don't expect substantial feedback 
in those timeframes, as most kernel maintainers are very busy.

Thanks,

	Ingo