On Thu, Jan 2, 2020 at 10:54 PM Nathan Hartman <hartman.nat...@gmail.com> wrote:
> On Thu, Jan 2, 2020 at 10:31 PM Gregory Nutt <spudan...@gmail.com> 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> > >
