>>> 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
>>> 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