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

[Richard Henderson]

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,
Acked-by: Richard Henderson <richard.hender...@linaro.org>

r~