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.hender...@linaro.org> Thanks!
