Re: [GIT PULL] EFI changes for v5.10

2020-10-12 Thread pr-tracker-bot
The pull request you sent on Mon, 12 Oct 2020 17:21:19 +0200: > git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git efi-core-2020-10-12 has been merged into torvalds/linux.git: https://git.kernel.org/torvalds/c/e6412f9833db23740ee848ab3d6e7af18dff82a6 Thank you! -- Deet-doot-dot, I am a

[GIT PULL] EFI changes for v5.10

2020-10-12 Thread Ingo Molnar
Linus, Please pull the latest efi/core git tree from: git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git efi-core-2020-10-12 # HEAD: 4d0a4388ccdd9482fef6b26f879d0f6099143f80 Merge branch 'efi/urgent' into efi/core, to pick up fixes EFI changes for v5.10: - Preliminary RISC-V