Re: [GIT PULL] timer drivers for v6.8-rc1

From: Thomas Gleixner
Date: Thu Jan 18 2024 - 14:10:43 EST


On Thu, Jan 18 2024 at 12:50, Daniel Lezcano wrote:

> Hi Thomas,
>
> it seems this PR was not taken into account.

Correct:

> On 01/01/2024 19:21, Daniel Lezcano wrote:

I was on vacation and cleared out inbox on Jan 8th knowing that all
important things will come back :)

Let me take care of it.