Re: [GIT PULL] sound updates for 4.17-rc1

[Linus Torvalds]

On Thu, Apr 5, 2018 at 11:18 AM, Takashi Iwai <tiwai@xxxxxxx> wrote:
>
> All the empty merges were during my previous vacation, so it must have
> been the leftover of the previous bad pull request.  Oh well.

Oh, so they might be from the bad old times when Mark was still doing
this, and be a symptom of something that has already stopped?

Let's hope so, and that the problem is already fixed and this was just
a remnant from before that fix went into effect.

Thanks,
           Linus