On Thu, Apr 5, 2018 at 11:18 AM, Takashi Iwai <[email protected]> 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
