davids5 commented on pull request #2177: URL: https://github.com/apache/incubator-nuttx/pull/2177#issuecomment-724846581
@fjpanag - Yes the discussion is veering of the subject of the PR. For what the PR is. It is fine, other then needing a style fix. ---------------------------------------------------------------- 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]
