Re: [GIT PULL] sound updates for 4.17-rc1
From: Linus Torvalds
Date: Thu Apr 05 2018 - 14:31:16 EST
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