Re: [GIT PULL] x86/build for v5.8

2020-06-01 Thread pr-tracker-bot
The pull request you sent on Mon, 1 Jun 2020 18:31:54 +0200: > git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git x86-build-2020-06-01 has been merged into torvalds/linux.git: https://git.kernel.org/torvalds/c/bb548bedf5c596f72b6388804b3cbd2f78c9dc98 Thank you! -- Deet-doot-dot, I am a

[GIT PULL] x86/build for v5.8

2020-06-01 Thread Ingo Molnar
Linus, Please pull the latest x86/build git tree from: git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git x86-build-2020-06-01 # HEAD: 38f3e775e9c242f5430a9c08c11be7577f63a41c x86/Kconfig: Update config and kernel doc for MPK feature on AMD Misc dependency fixes, plus a