Re: [Xen-devel] [PATCH v3 for-4.9 0/3] libxl/devd: bugfixes

[Julien Grall <julien.grall@xxxxxxx>]

Hi Ian,

On 18/05/17 19:11, Ian Jackson wrote:
> Julien Grall writes ("Re: [PATCH v3 for-4.9 0/3] libxl/devd: bugfixes"):
> > On 17/05/17 15:02, Julien Grall wrote:
> > > For the last patch, at this stage of the release I would prefer to defer
> > > it for Xen 4.10.
> After reviewing these, I'd like to make a case for the third patch for
> 4.9:
>
> I haven't quite managed to prove to myself that the 3rd patch is a
> no-op.  But this is because I haven't quite proved to myself that the
> code _before_ the 3rd patch is correct.
>
> The code _after_ the 3rd patch seems more obviously correct to me.  Ie
> I think the risk of bugs is lower with the 3rd patch than without
> (even after the first two patches).
Thank you for the explanation. It was not obvious from Roger's e-mail 
that it may fix something.
Release-acked-by: Julien Grall <julien.grall@xxxxxxx>

Cheers,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
https://lists.xen.org/xen-devel