Re: [GIT PULL] timer drivers fixes for v5.11-rc5

[Thomas Gleixner]

Daniel,

On Mon, Feb 22 2021 at 09:36, Daniel Lezcano wrote:
> those fixes were not picked up

Ooops. Taking care right now.