Re: [PATCH-for-5.2] hw/mips: Remove the 'r4k' machine

[Philippe Mathieu-Daudé <f4bug@xxxxxxxxx>]

On 11/2/20 5:00 PM, Richard Henderson wrote:
> On 11/2/20 2:26 AM, Philippe Mathieu-Daudé wrote:
>> -mips ``r4k`` platform (since 5.0)
>> +mips ``r4k`` platform (removed in 5.2)
>>  '''''''''''''''''''''''''''''''''
> 
> Header underline needs adjustment.  Otherwise,

Indeed:

Warning, treated as error:
docs/system/deprecated.rst:331:Title underline too short.

> Acked-by: Richard Henderson <richard.henderson@xxxxxxxxxx>

Thanks!