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