On Thu, Aug 08, 2019 at 02:44:42AM +0000, Zhang, Chen wrote: > Ping... > Any comments?
For your information, that patch have been pushed, see commit 174db28bb823e8c98c319fdbdc6d4cbe1050ba14 ;-) Cheers, -- Anthony PERARD _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
