Re: [PATCH] sched/proxy: Correct the SCHED_PROXY_EXEC dependency comment

[Chaosheng Qu]

Understood, and you are right that the existing line reads fine for the
audience it is written for. I was reading it as a developer note about when
the dependency can be dropped, which is not what it is there for.

Dropping it, the patch is withdrawn. Sorry for the noise.