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

[pr-tracker-bot]

The pull request you sent on Mon, 13 Apr 2026 12:35:52 -0700:

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

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

Thank you!

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