On Thu, May 28, 2020 at 2:20 AM David Alessio <david.s.ales...@gmail.com> wrote:
> Before it's too late, I'd like to pose the question: > Is there no-one who prefers NuttX be spelled with lower-case "utt"? I'm confused by your question: Haven't we been spelling it NuttX? Nathan