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