Re: [PATCH] sched/deadline: Fix missing clock update

[Peter Zijlstra]

On Wed, May 30, 2018 at 06:08:09PM +0200, Juri Lelli wrote:
> A missing clock update is causing the below warning:

Thanks!