Re: [PATCH] sched/rt: Fix double enqueue caused by rt_effective_prio

[Peter Zijlstra]

On Mon, Aug 02, 2021 at 09:35:50AM +0200, Juri Lelli wrote:
> However, we managed to confirm your fix works great!
> 
> May I leave posting it again with changelog etc to you, or would you
> like I do that (making you the author)?

If you could (re)post a known working version with Changelog that would
be much appreciated.