On Wed, 20 Nov 2024 at 14:58, Arnd Bergmann <arnd at arndb.de> wrote:
>
> 12 Jo��o Paulo Gon��alves
The name "João Paulo Gonçalves" seems to be correct in your actual
pull requests and in the git tree, but you have something seriously
wrong with your summary generation locale.
Linus