Re: [git pull] drm pull for 4.20-rc1

From: Linus Torvalds
Date: Sun Oct 28 2018 - 20:46:48 EST

On Sun, Oct 28, 2018 at 4:47 PM Dave Airlie <airlied@xxxxxxxxx> wrote:
> I was just about to ask if I'd gotten a reply that require Linus
> filtering, then I realised I hadn't sent this to you, but the mailing
> list by mistake.

Heh. And _I_ was just about to send you a query about where the pull
request was, since it was one of the bigger missing pieces..

Yeah, I don't pick up the pull requests from the mailing lists at all,
only from emails sent directly yo me.