Re: [patch V4 part 1 03/36] sched: Clean up scheduler_ipi()

From: Thomas Gleixner
Date: Wed May 06 2020 - 04:33:14 EST


Thomas Gleixner <tglx@xxxxxxxxxxxxx> writes:

Bah. I managed to lose the

From: Peterz

line somehow.