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

[Linus Torvalds]

On Fri, Aug 11, 2017 at 7:16 AM, Daniel Lezcano
<daniel.lezcano@xxxxxxxxxx> wrote:
>
> The pull request contains the following fixes for 4.13-rc4

Usually these things go through Thomas, and you did say "Hi Ingo,
Thomas", so I'm ignoring this pull request.

But you *did* cc me, and it's possible that you did so on purpose,
expecting me to pull because everybody in Europe is on vacation.

So if you actually expect me to pull directly, please re-send and
explicitly say so, ok?

                   Linus