[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH-for-5.2] hw/mips: Remove the 'r4k' machine
|
From: |
Philippe Mathieu-Daudé |
|
Subject: |
Re: [PATCH-for-5.2] hw/mips: Remove the 'r4k' machine |
|
Date: |
Mon, 2 Nov 2020 19:49:38 +0100 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.3.1 |
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@linaro.org>
Thanks!