Re: [PATCH v3] sched/deadline: Fix race in push_dl_task

Hi Peter, Juri,

Just bumping this thread so we don’t miss merging this deadline change. Please let me know is there is anything I need to do.

Thanks, Harshit

The new version looks good to me.

Some final minor touches to changelog/comment might still be required, but Peter maybe you can do it if/when picking up the change?

Anyway,

Acked-by: Juri Lelli juri.lelli@redhat.com

Thanks! Juri