2 Nov
2020
2 Nov
'20
1:49 p.m.
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!