On Thu, Jan 2, 2020 at 10:54 PM Nathan Hartman <[email protected]> wrote:
> On Thu, Jan 2, 2020 at 10:31 PM Gregory Nutt <[email protected]> wrote: > >> >> > Ok. I'm okay with that. >> >> Perhaps you could merge this for me: >> >> https://github.com/apache/incubator-nuttx/pull/31 > > Looks like Alan beat me to it. Nathan <https://github.com/apache/incubator-nuttx/pull/31> > >
