The pull request you sent on Thu, 13 Apr 2023 21:51:38 +0200: > git://anongit.freedesktop.org/drm/drm tags/drm-fixes-2023-04-13
has been merged into torvalds/linux.git: https://git.kernel.org/torvalds/c/f1be7b6c165f0d451c3ea2062f506bf5f130bd5e Thank you! -- Deet-doot-dot, I am a bot. https://korg.docs.kernel.org/prtracker.html
