On Fri, Jan 13, 2017 at 02:38:21PM +0100, Juergen Gross wrote: > On 13/01/17 14:31, Juergen Gross wrote: > > On 13/01/17 13:18, Wei Liu wrote: > >> The only place that used such option was removed in 388d3011. > >> > >> Signed-off-by: Wei Liu <wei.l...@citrix.com> > > > > Reviewed-by: Juergen Gross <jgr...@suse.com> > > Sorry, this stands only if you do the change I mentioned below. >
Applied. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel