Re: [GIT PULL] xen: fixes for 4.20-rc1

From: Linus Torvalds
Date: Tue Oct 30 2018 - 12:33:09 EST


On Tue, Oct 30, 2018 at 12:44 AM Juergen Gross <jgross@xxxxxxxx> wrote:
>
> It contains only several small fixes and cleanups this time.

Pulled,

Linus