Re: [GIT PULL] x86/tdx for 7.4-rc1

[pr-tracker-bot]

The pull request you sent on Mon, 19 Oct 2026 09:33:47 -0700:

> https://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git tags/x86_tdx_for_7.4-rc1

has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/4a8bdffce502d70405391a7ac38bac6dcef94749

Thank you!

-- 
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/prtracker.html