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

[pr-tracker-bot]

The pull request you sent on Mon, 15 Jun 2026 12:44:31 -0700:

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

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

Thank you!

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