Re: [GIT PULL] Last straggler for 4.20-rc8 or final
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.