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(a)linaro.org>
Thanks!