>>> On 20.02.18 at 11:17, <mi...@kernel.org> wrote:
> I assume the Xen fix got merged meanwhile?

Yes (that's the commit I've referred to in an earlier reply).

Jan

Reply via email to