On Wed, Oct 24, 2018 at 2:00 AM Thomas Gleixner <[email protected]> wrote:
>
> The interrupt brigade came up with the following updates:

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

                   Linus

Reply via email to