The pull request you sent on Mon, 10 Jan 2022 11:58:10 +0100:> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git tags/x86_mm_for_v5.17_rc1has been merged into torvalds/linux.git:https://git.kernel.org/torvalds/c/4a692ae360615026b25d64c29fc7c12c0ef63c5fThank you!-- Deet-doot-dot, I am a bot.https://korg.docs.kernel.org/prtracker.html