The pull request you sent on Sat, 11 Feb 2023 09:59:20 +0100:> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git x86-urgent-2023-02-11has been merged into torvalds/linux.git:https://git.kernel.org/torvalds/c/47e9aa14ce5abca70d6584a8d8213707d197c38eThank you!-- Deet-doot-dot, I am a bot.https://korg.docs.kernel.org/prtracker.html