On 28 June 2016 at 18:49, Paolo Bonzini <pbonz...@redhat.com> wrote: > On 28/06/2016 17:42, Peter Maydell wrote: >> Ping for review? > > The patch is trivial, the hard part was coming up with the message for > the user. :)
Sure, but review includes whether the message makes sense :-) > Go ahead! I'll push it to master in a bit. thanks -- PMM