On 2018-12-13 14:18, Paolo Bonzini wrote:
On 13/12/18 08:05, Thomas Huth wrote:
> It's been deprecated since QEMU 3.0, and nobody complained so far, so
> it is time to remove this option now.
>
> Signed-off-by: Thomas Huth <thuth(a)redhat.com>
Queued (for the next pull request, not this one).
Ping? ... looks like this might have fallen through the cracks?
Thomas