Hello Dario, Sorry for a delayed answer,
On 26.04.19 18:13, Dario Faggioli wrote:
You're suggesting that's redundant too, aren't you?
Yes, I do. And have pushed the patch [1]. [1] https://lists.xenproject.org/archives/html/xen-devel/2019-05/msg00597.html -- Sincerely, Andrii Anisov. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel