Should we move GitBox email to other list like rev...@nuttx.apache.org? Thanks Xiang
On Tue, Dec 24, 2019 at 9:02 AM GitBox <g...@apache.org> wrote: > > patacongo merged pull request #1: imxrt fixes > URL: https://github.com/apache/incubator-nuttx/pull/1 > > > > > ---------------------------------------------------------------- > This is an automated message from the Apache Git Service. > To respond to the message, please log on to GitHub and use the > URL above to go to the specific comment. > > For queries about this service, please contact Infrastructure at: > us...@infra.apache.org > > > With regards, > Apache Git Services