btashton commented on pull request #2308:
URL: https://github.com/apache/incubator-nuttx/pull/2308#issuecomment-734128659


   Thanks @acassis I made all your corrections.  Could someone go ahead and 
merged this @xiaoxiang781216 @Ouss4.  It is only a text file change so I don't 
think we need to wait for CI.  I'll also open the PR for the 10.0 branch


----------------------------------------------------------------
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]


Reply via email to