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.