Should we move GitBox email to other list like [email protected]? Thanks Xiang
On Tue, Dec 24, 2019 at 9:02 AM GitBox <[email protected]> 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: > [email protected] > > > With regards, > Apache Git Services
