The pull request you sent on Mon, 24 Dec 2018 23:21:32 +0100:
> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git efi-core-for-linus
has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/684019dd1f0092b4ffce4958c84aff0891deac83
Thank you!
--
Deet-doot-dot, I am a
The pull request you sent on Sat, 17 Nov 2018 11:51:15 +0100:
> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git efi-urgent-for-linus
has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/743a4863fddc4fdd591e1cbf4157e981a71b0f09
Thank you!
--
Deet-doot-dot, I am
The pull request you sent on Sun, 9 Dec 2018 22:59:21 +0100:
> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git efi-urgent-for-linus
has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/4b04e73a78c5c89dc1a75fb35dea6c947c1d2ac7
Thank you!
--
Deet-doot-dot, I am a
The pull request you sent on Tue, 5 Mar 2019 13:20:38 +0100:
> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git efi-core-for-linus
has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/c8f5ed6ef972ed4fd10b0c2e2baec3b6803d3c73
Thank you!
--
Deet-doot-dot, I am a
The pull request you sent on Sun, 2 Jun 2019 19:35:19 +0200:
> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git efi-urgent-for-linus
has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/af0424522dbb235ee7f1eb84bce074004c9d8b51
Thank you!
--
Deet-doot-dot, I am a
The pull request you sent on Sat, 29 Jun 2019 10:23:54 +0200:
> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git efi-urgent-for-linus
has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/a7211bc9f3d50d77efe77c332b269458a94fcfd2
Thank you!
--
Deet-doot-dot, I am
The pull request you sent on Mon, 16 Sep 2019 13:35:49 +0200:
> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git efi-core-for-linus
has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/cc9b499a1f71696054a2771aae504c53eecff31d
Thank you!
--
Deet-doot-dot, I am a
The pull request you sent on Sat, 12 Oct 2019 15:01:39 +0200:
> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git efi-urgent-for-linus
has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/9b4e40c8fe1e120fef93985de7ff6a97fe9e7dd3
Thank you!
--
Deet-doot-dot, I am