Re: [GIT PULL 0/7] EFI fixes for v5.7

[Borislav Petkov]

On Fri, May 22, 2020 at 03:06:20PM +0200, Ard Biesheuvel wrote:
> Ping?

Did you want to make your tags unique from the next pull request onwards
and I were supposed to pull this one as is?

Thx.

-- 
Regards/Gruss,
    Boris.

https://people.kernel.org/tglx/notes-about-netiquette