The pull request you sent on Fri, 7 Dec 2018 11:37:08 +1000:
> git://anongit.freedesktop.org/drm/drm tags/drm-fixes-2018-12-07
has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/d387ac13ad12194a62d268a6b7a0633ef832f6bd
Thank you!
--
Deet-doot-dot, I am a bot.
https://ko
Hi Linus,
This is the regular fixes pull. I'm off on holidays for a few days but
will likely still have access to stuff, just not doing much else, I
should be back for 2 days at the end of next week to line up more
fixes, and likely send you the -next pull request before going on
holidays until af