Re: [git pull] drm pull for v4.16-rc1
From: Linus Torvalds
Date: Thu Feb 01 2018 - 20:59:24 EST
On Thu, Feb 1, 2018 at 4:40 PM, Dave Airlie <airlied@xxxxxxxxx> wrote:
>
> This seems to have been a comparatively quieter merge window, I assume
> due to holidays etc.
Hmm. I pulled, and then noticed that there's no diffstat to compare my
end result with.
Then I was going to at least compare the shortlog, but that is truncated too!
Oh well. The part of the shortlog I can see in your email does match,
and the end result looks sane, so I'll take it on faith, but I really
would like to see the real full pull request, not this truncated
half-thing.
Linus