Re: [PATCH] tools: Fix diverse typos

From: Andi Kleen
Date: Tue Dec 04 2018 - 12:16:36 EST



I've let the JSON maintainers know.

-Andi