Re: [GIT PULL] clockevents: fixes for 4.13-rc4

From: Linus Torvalds
Date: Fri Aug 11 2017 - 18:57:18 EST


On Fri, Aug 11, 2017 at 2:44 PM, Daniel Lezcano
<daniel.lezcano@xxxxxxxxxx> wrote:
>
> You are perfectly right, I was assuming everybody in Europe may be in
> vacation, so I let you know the pull request. However, Thomas will be
> back August, 14th, so I think you can ignore the pull request.

Ok, if the situation changes, re-send it to me and I'll do it directly,

Linus