Re: [PATCH] tools: Fix diverse typos

[Arnaldo Carvalho de Melo]

Em Tue, Dec 04, 2018 at 09:16:32AM -0800, Andi Kleen escreveu:
> 
> I've let the JSON maintainers know.

Thanks!

- Arnaldo