acassis commented on pull request #1310: URL: https://github.com/apache/incubator-nuttx/pull/1310#issuecomment-650760491
Good finding Matias! I think it should be a good idea to include the above Summary into the commit itself because people looking the repository will not see it unless he comes to this 1310 PR. What do you think? ---------------------------------------------------------------- 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
