Lukasz Luba <lukasz.luba@arm.com> writes:> Gentle ping. Could you take this patch, please?I was hoping for an ack from the scheduler folks. It seems correct,though, so I've applied it.Thanks,jon