Re: [GIT pull] irq updates for 4.20

From: Linus Torvalds
Date: Thu Oct 25 2018 - 14:46:56 EST


On Wed, Oct 24, 2018 at 2:00 AM Thomas Gleixner <tglx@xxxxxxxxxxxxx> wrote:
>
> The interrupt brigade came up with the following updates:

Pulled (along with the other pull request for timekeeping),

Linus