On Tue, 2017-11-07 at 11:37 +0100, Paolo Bonzini wrote:
[...]
> Looks good, please backport
> 
> b862789aa5186d5ea3a024b7cfe0f80c3a38b980 and
> a2b7861bb33b2538420bb5d8554153484d3f961f
> 
> as well.

OK, I've queued these up.

Ben.

-- 
Ben Hutchings
If you seem to know what you are doing, you'll be given more to do.