On Fri, Jan 04, 2019 at 09:07:23AM +0100, Paolo Bonzini wrote:
> On 03/01/19 20:26, Peter Maydell wrote:
> > On Thu, 3 Jan 2019 at 18:19, Michael S. Tsirkin wrote:
> >>
> >> On Thu, Jan 03, 2019 at 06:51:13PM +0100, Paolo Bonzini wrote:
> >>> Signed-off-by: Paolo Bonzini
> >>
> >> Note that in
On Fri, 4 Jan 2019 09:07:23 +0100
Paolo Bonzini wrote:
> On 03/01/19 20:26, Peter Maydell wrote:
> > On Thu, 3 Jan 2019 at 18:19, Michael S. Tsirkin wrote:
> >> I'd prefer the shell script part and the new vhost_types header which
> >> are actually reviewable to be split out to a separate
On 03/01/19 20:26, Peter Maydell wrote:
> On Thu, 3 Jan 2019 at 18:19, Michael S. Tsirkin wrote:
>>
>> On Thu, Jan 03, 2019 at 06:51:13PM +0100, Paolo Bonzini wrote:
>>> Signed-off-by: Paolo Bonzini
>>
>> Note that in the past we just updated what we needed.
>
> Not if I noticed it -- our
On Thu, 3 Jan 2019 at 18:19, Michael S. Tsirkin wrote:
>
> On Thu, Jan 03, 2019 at 06:51:13PM +0100, Paolo Bonzini wrote:
> > Signed-off-by: Paolo Bonzini
>
> Note that in the past we just updated what we needed.
Not if I noticed it -- our copies of the Linux headers
are supposed to always be
On Thu, Jan 03, 2019 at 06:51:13PM +0100, Paolo Bonzini wrote:
> Signed-off-by: Paolo Bonzini
Note that in the past we just updated what we needed.
That approach has some advantages as linux doesn't
stand in place, so whatever renames we handle now
just might have to get undone down the road.
