Re: [GIT PULL] x86/boot changes for v4.21

2018-12-26 Thread pr-tracker-bot
The pull request you sent on Mon, 24 Dec 2018 23:55:00 +0100: > git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git x86-boot-for-linus has been merged into torvalds/linux.git: https://git.kernel.org/torvalds/c/9a126e788af8e0754d5d19cd98b3a2bc1711ff46 Thank you! -- Deet-doot-dot, I am a

[GIT PULL] x86/boot changes for v4.21

2018-12-24 Thread Ingo Molnar
Linus, Please pull the latest x86-boot-for-linus git tree from: git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git x86-boot-for-linus # HEAD: 69be4efeb959147ff86f22e35aea9526f9b86715 x86/boot: Add missing va_end() to die() Two cleanups. Thanks, Ingo