Re: [PATCH] tools: Fix diverse typos

From: Arnaldo Carvalho de Melo
Date: Tue Dec 04 2018 - 12:40:59 EST


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

Thanks!

- Arnaldo