Re: [GIT PULL] Last straggler for 4.20-rc8 or final

[Borislav Petkov]

On Sat, Dec 22, 2018 at 08:47:43AM +0100, Paolo Bonzini wrote:
> Right, and also I will have to provide you with a topic branch to base
> that patch on.

Ok, sure.

Thx.

-- 
Regards/Gruss,
    Boris.

Good mailing practices for 400: avoid top-posting and trim the reply.