The pull request you sent on Mon, 12 Oct 2020 17:34:30 +0200: > git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git > core-build-2020-10-12
has been merged into torvalds/linux.git: https://git.kernel.org/torvalds/c/34eb62d868d729e9a252aa497277081fb652eeed Thank you! -- Deet-doot-dot, I am a bot. https://korg.docs.kernel.org/prtracker.html
