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