Daniel, On Tue, 8 Jan 2019, Daniel Vacek wrote:
> I'm wondering, was x86/timers branch of tip tree merged to linus' tree
> for v5.0-rc1? Somehow I do not see this patch make it through...
>
> Am I doing something wrong?
No. The branch was not sent to Linus during the merge window due to holiday
season induced oversight.
Thanks,
tglx
