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.henderson(a)linaro.org>
r~