The pull request you sent on Fri, 24 Mar 2023 22:05:25 +0100:
> git://anongit.freedesktop.org/drm/drm tags/drm-fixes-2023-03-24
has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/37154c19dd79966009befdcf2b499099e3cbbe9c
Thank you!
--
Deet-doot-dot, I am a bot.
Hi Linus,
Dave is already on vacations, should be back 17th April in time for the
merge window.
This includes the host1x once more, I only realized you applied it already
after I pushed my tree out.
We also discussed a bit what to improve, because there should be a pile of
fallbacks in place:
-