Re: [GIT PULL] timer drivers for v6.11-rc1
From: Thomas Gleixner
Date: Thu Jul 11 2024 - 16:02:38 EST
Daniel,
On Thu, Jul 11 2024 at 20:11, Daniel Lezcano wrote:
> please consider pulling the following changes since commit
> 746770499be55cf375a108a321a818b238182446:
>
> timers/migration: Fix grammar in comment (2024-07-04 20:24:57 +0200)
Duh. I had to remove those commits as they had a problem. Can you please
redo your stuff?
In general please do not base it on timers/core unless there is a real
dependency for the stuff you are applying.
Sorry for the inconveniance.
Thanks,
tglx