The pull request you sent on Thu, 15 Oct 2020 11:33:08 +1000:> git://anongit.freedesktop.org/drm/drm tags/drm-next-2020-10-15has been merged into torvalds/linux.git:https://git.kernel.org/torvalds/c/93b694d096cc10994c817730d4d50288f9ae3d66Thank you!-- Deet-doot-dot, I am a bot.https://korg.docs.kernel.org/prtracker.html