Messages in this thread |  | | From | Linus Torvalds <> | Date | Thu, 5 Apr 2018 11:31:08 -0700 | Subject | Re: [GIT PULL] sound updates for 4.17-rc1 |
| |
On Thu, Apr 5, 2018 at 11:18 AM, Takashi Iwai <tiwai@suse.de> 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
|  |