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

Linus Torvalds writes: (Summary) On Thu, Apr 5, 2018 at 11:18 AM, Takashi Iwai <tiwai@suse.de> wrote:

[...]

been the leftover of the previous bad pull request. 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.
a remnant from before that fix went into effect.
Thanks,
Linus
Linus
Linus