The pull request you sent on Fri, 27 Oct 2023 20:25:58 +0200:> https://github.com/Rust-for-Linux/linux.git tags/rust-6.7has been merged into torvalds/linux.git:https://git.kernel.org/torvalds/c/455cdcb45f8fa9e7c70273e7bec0537ff02d5247Thank you!-- Deet-doot-dot, I am a bot.https://korg.docs.kernel.org/prtracker.html