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

From: Borislav Petkov
Date: Sat Dec 22 2018 - 12:40:50 EST

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.



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