>>> On 20.02.18 at 11:17, <[email protected]> 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