On 9/4/20 6:57 PM, Philippe Mathieu-Daudé wrote:
> Hi,
>
> On 12/17/19 7:43 PM, Aleksandar Markovic wrote:
>> From: Thomas Huth <th...@redhat.com>
>> Sent: Tuesday, December 17, 2019 7:10 PM
>> To: Philippe Mathieu-Daudé; qemu-devel@nongnu.org
>> Cc: libvir-l...@redhat.com; Hervé Poussineau; Aleksandar Markovic;
>> Aleksandar Rikalo; Aurelien Jarno
>> Subject: [EXTERNAL]Re: [PATCH-for-4.2] hw/mips: Deprecate the r4k machine
>>
>> Hi,
>>
>> On 25/11/2019 11.41, Philippe Mathieu-Daudé wrote:
>>>> diff --git a/qemu-deprecated.texi b/qemu-deprecated.texi
>>>> index 4b4b7425ac..05265b43c8 100644
>>>> --- a/qemu-deprecated.texi
>>>> +++ b/qemu-deprecated.texi
>>>> @@ -266,6 +266,11 @@ The 'scsi-disk' device is deprecated. Users should
>>>> use 'scsi-hd' or
>>>>
>>>> @section System emulator machines
>>>>
>>>> +@subsection mips r4k platform (since 4.2)
>>>
>>> Since the patch has now been merged after the release of 4.2, the mips
>>> 4k platform will be deprecated in 5.0 instead. Could you send a patch to
>>> fix it up?
>>
>> OK, I'll send a patch that'll certainly be applied to the next MIPS queue.
>>
>> Thanks for spotting this, Thomas.
>>
>> Aleksandar
>
> Any update on this?
Thomas told me this has been already merged as commit 2048d5d4bce
("target/mips: Rectify documentation on deprecating MIPS r4k machine").
I'm sorry I missed it.
>
> Thanks,
>
> Phil.
>
