Re: [PATCHSET sched_ext/for-7.1-fixes] sched_ext: Assorted fixes

[Tejun Heo]

Hello,

Applied 1-13 plus extras 14/13 and 15/13 to sched_ext/for-7.1-fixes.
Patches 13 and 15/13 applied as v2; Andrea's Reviewed-by added on the
other twelve plus 14/13.

Thanks.

--
tejun