On 23/01/19 06:46, Thomas Huth wrote:
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
Queued, thanks.
Paolo