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

From: Thomas Gleixner
Date: Mon Feb 22 2021 - 04:59:46 EST


Daniel,

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

Ooops. Taking care right now.